Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.
checker formal ide language lexer model parser tla+
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities