Categories: None [Edit]
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: 164,446 of 180,454
Downloads: 2,272
Daily
Ranking: 89,538 of 180,448
Downloads: 0
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
Rank | Downloads | Name |
---|---|---|
165,320 | 2,221 | sbuilder-eth |
Depends on
Rank | Downloads | Name |
---|---|---|
101 | 312,339,165 | docile |
644 | 58,869,760 | mustache |
59,210 | 15,238 | tla-sbuilder |
84,441 | 9,003 | tla-parser-s |
Owners
# | Gravatar | Handle |
---|---|---|
1 | jarjuk |