* [Fizzbee v0.5.3](https://github.com/fizzbee-io/fizzbee) – Formal specification language and model checker for distributed systems design and verification.