This project has been implemented together with Garuda.AI company (The Netherlands).

The main idea of the usage of algebraic formal methods is presented in papers, presentation and video:

2019 Blockchain and Internet of Things Conference (presentation)

O. Letychevskyi, V. Peschanenko, V. Radchenko, M. Orlovsky, A. Sobol Algebraic Approach to Verification and Testing of Distributed Applications. Proceedings of the 2019 International Electronics Communication Conference Pages 37-43 Okinawa, Japan — July 07 - 09, 2019.

Video of the presentation:

2019 IEEE International Conference on Blockchain and Cryptocurrency (presentation) 

O. Letychevsky, V. Peschanenko, V. Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko Formal Verification of Token Economy Models. Proc of 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Seoul, Korea, May 12-17, 2019.

User Conference on Advanced Automated Testing 2019 (presentation)