Project

Reverse Dependencies for tla-parser-s

The projects listed here declare tla-parser-s as a runtime or development dependency

0.0
Repository is gone
No release in over 3 years
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 formal models can be verified using TLA+ Tools http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Popularity
0.0
Repository is gone
No release in over 3 years
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.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Popularity