Projects

List of projects related to TLA+, short summaries and valuables links to the projects’ resources:

TLA+ Tools

Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them. The goal of this project is to develop methods and tools that will permit engineers to apply formal specification...

TLAPS: A TLA+ Proof System

The TLA+ Proof System (TLAPS) mechanically checks TLA+ proofs. The TLA+ proof language is declarative, hierarchical, and scalable to large system specifications. It provides a consistent abstraction over the various “backend” verifiers. The current rel...