Automatic Validation of Distributed Algorithms

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