Application of TLA+ for Efficient Testing of Distributed Systems

In the talk we will study the problem of development and testing of distributed systems, consider the TLA+ specification language and its application for program verification. In addition, we will describe the method of testing distributed systems based on the actor model, which combines the advantages of both fuzzing and TLA+.