InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels

The extent of formal verification methods applied to industrial projects has always been limited. The proliferation of distributed ledger systems (DLS), also known as blockchain, is rapidly changing the situation. Since the main area of DLSs' application is the automation of financial transacti...

全面介紹

書目詳細資料

發表在:	Моделирование и анализ информационных систем
Main Authors:	Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson
格式:	Article
語言:	英语
出版:	Yaroslavl State University 2020-12-01
主題:	byzantine fault tolerance distributed consensus blockchain tla+ verification model checking
在線閱讀:	https://www.mais-journal.ru/jour/article/view/1436