Start of main content
Talk type: Talk
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+.