Categories: None [Edit]

sbuilder-al

https://rubygems.org/gems/sbuilder-al
https://github.com/jarjuk/sbuilder-al
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.

Total

Ranking: 166,044 of 183,477
Downloads: 2,388

Daily

Ranking: 41,916 of 183,470
Downloads: 1

Depended by

RankDownloadsName
166,8862,339sbuilder-eth

Depends on

RankDownloadsName
97355,579,086docile
68163,925,756mustache
59,86715,886tla-sbuilder
85,2109,390tla-parser-s

Owners

#GravatarHandle
1iconjarjuk