TLA+
https://github.com/tlaplus/tlaplus
https://github.com/tlaplus/Examples
https://github.com/pmer/tla-bin