A tool to generate runnable specification models in TLA+ language for business IT systems. Specification model can be verified using TLA+ Tools, and parts of it can be presented as implementation blueprints to developers.
Required Ruby Version
>= 2.3.1, ~> 2
Authors
jarjuk
Versions
- 0.3.9 February 02, 2018 (131 KB)
- 0.3.8 December 20, 2017 (131 KB)
- 0.3.7 December 18, 2017 (131 KB)
- 0.3.4 December 02, 2016 (127 KB)
- 0.2.2 June 03, 2016 (85.5 KB)