Skip to contentRU
Talk

Automatic Validation of Distributed Algorithms

In Russian
Presentation pdf

It is impossible to create correct distributed algorithms without using special tools. The talk is about perhaps the best such tool.

Speakers

Schedule