Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.
rkamath3 / tlaplus Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jameshfisher/tlaplus