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

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...

Full description

Bibliographic Details
Main Authors: Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson
Format: Article
Language:English
Published: Yaroslavl State University 2020-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
byzantine fault tolerance
distributed consensus
blockchain
tla+
verification
model checking
Online Access:https://www.mais-journal.ru/jour/article/view/1436

Internet

https://www.mais-journal.ru/jour/article/view/1436

Similar Items