A tool to generate runnable specification models in TLA+ language for business IT sys...
15 383 Téléchargements
API language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet L...
2 299 Téléchargements
MIT