TLA+: design, model, document, and verify concurrent systems

This is the home page of the TLA+ web site. TLA+ is a high-level language for modeling programs and systems–especially concurrent and distributed ones. Tools for checking TLA+ models.

Source: lamport.azurewebsites.net