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:
=
Copy to clipboard
Copied!
install:
=
Versions:
- 0.0.8 - December 18, 2017 (47.5 KB)
Runtime Dependencies (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
Owners:
Authors:
-
jarjuk
SHA 256 checksum:
ccb3999845f390af626b4a615efe8380aa2332de59a54217bbfff6cca05029bb