tlatools

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

Stars

2

Forks

0

Language

Java

Last Updated

Jul 11, 2019

Similar Repos