Algebraic Approach to Verification and Testing of Distributed Applications
Олександр Олександрович Летичевський, Volodymyr Peschanenko, Viktor Radchenko, Maxim Orlovsky, Andrey Sobol · 2019
Challenges in developing distributed applications have given rise to various different design techniques and technologies. This paper presents an algebraic approach using formal verification and model-based testing that can be applied to different development stages. The insertion modeling system software developed by the authors of this paper is used to implement this approach and to apply it to the model-driven development of distributed systems based on blockchain consensus protocols.