A tool to generate runnable specification models in TLA+ language for business IT sys...
17,443 ダウンロード数
API language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet L...
2,644 ダウンロード数
December 18, 2017 6:39am
MIT