–
Статьи в журналах
-
- 2021 Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting
- Kukharenko Vladimir, Ziborov Kirill, Sadykov Rafael, Rezin Ruslan
- в журнале SHS Web of Conferences, том 93, с. 01006-01006 DOI
-
- 2020 InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels
- Kukharenko Vladimir Aleksandrovich, Ziborov Kirill Viktorovich, Sadykov Rafael Faritovich, Naumchev Alexandr Vladimirovich, Rezin Ruslan Maratovich, Merkin-Janson Leonid Albertovich
- в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 27, № 4, с. 454-471 DOI