Architecture of the Formally-Verified Distributed Ledger System InnoChain

by Leonid Al'bertovich Merkin-Janson, Ruslan Maratovich Rezin, Nikolay Konstantinovich Vasilyev
Published 2020-12-01

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

by Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson
Published 2020-12-01