Talk type: Talk

Application of TLA+ for Efficient Testing of Distributed Systems

  • Talk in Russian
Presentation pdf

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+.

  • #tla+
  • #viewstamped_replication