t

tlatools

Modified version of the TLA+ tools for usage in ProB
https://github.com/hhu-stups/tlatools
MIT License
Jens Bendisposto
tools usage prob modified version
Aggregated version Version Update time
1.0 1.0.2 Feb 24, 2016
1.0.0 Aug 18, 2015
2 Records