Algebraic Approach to Verification and Testing of Distributed Applications

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.