sbuilder-al 0.0.8
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.
Gemfile:
=
複製
已複製
安裝:
=
版本列表:
- 0.0.8 - December 18, 2017 (47.5 KB)
Runtime 相依性套件 (4):
docile
>= 1.1.5, ~> 1.1
mustache
>= 1.0.3, ~> 1.0
tla-parser-s
>= 0.2.5, ~> 0.2
tla-sbuilder
>= 0.3.5, ~> 0.3
擁有者:
作者:
-
jarjuk
SHA 256 總和檢查碼:
ccb3999845f390af626b4a615efe8380aa2332de59a54217bbfff6cca05029bb