Project
Reverse Dependencies for tla-parser-s
The projects listed here declare tla-parser-s as a runtime or development dependency
0.0
API language interface to tla-sbuilder. Uses API Loader Extension
Point and Snippet Loader Extension Point in tla-sbuilder tool.
tla-sbuilder is a tool to generate runnable formal models in TLA+ language
http://research.microsoft.com/en-us/um/people/lamport/tla/book.html
Generated for...
2019
2020
2021
2022
2023
2024
0.0
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.
2019
2020
2021
2022
2023
2024