What is TLA+ ? Formal methods for specifying and testing software Tools: https://github.com/tlaplus/Examples https://learntla.com/introduction/example/ Articles and Info https://www.theatlantic.com/technology/archive/2017/09/saving-the-world-from-code/540393/