FIZZBEE

Summary from the TLDR Web Dev newsletter

FizzBee is a formal specification language and model checker for distributed systems.