TLA+

http://lamport.azurewebsites.net/tla/tla.html [email protected]

TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.