This repository has been archived by the owner on Dec 16, 2021. It is now read-only.

TLA+

Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.