Architecture of the Formally-Verified Distributed Ledger System InnoChain

Leonid Al'bertovich Merkin-Janson; Ruslan Maratovich Rezin; Nikolay Konstantinovich Vasilyev

Modeling and Analysis of Information Systems
Modelirovanie i analiz informacionnyh sistem

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

User

eng | рус

Modeling and Analysis of Information Systems

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

Merkin-Janson L.A., Rezin R.M., Vasilyev N.K. Architecture of the Formally-Verified Distributed Ledger System InnoChain. Modeling and Analysis of Information Systems. 2020;27(4):472-487. (In Russ.) https://doi.org/10.18255/1818-1015-2020-4-472-487

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Egor V. Kuzmin

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

Leonid Al'bertovich Merkin-Janson
Innopolis University
Russian Federation

Professor, Doctor of Mathematics, Delft University of Technology, Dr.

Ruslan Maratovich Rezin
Innopolis University
Russian Federation

Head expert in formal verification methods at Innopolis University, Master degree in Computer Science, MSc.

Nikolay Konstantinovich Vasilyev
Innopolis University; National Research University Higher School of Economics
Russian Federation

Lead Developer.

Notifications

Username
Password
	Remember me
Not a user? Register with this site Forgot your password?

User

Modeling and Analysis of Information Systems

For citations:

Cookies policy