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: 168,231 of 188,299
Downloads: 2,645
Daily
Ranking: 93,116 of 188,294
Downloads: 0
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|---|---|
| 169,751 | 2,559 | sbuilder-eth |
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 97 | 437,063,177 | docile |
| 726 | 72,455,395 | mustache |
| 60,008 | 17,447 | tla-sbuilder |
| 85,803 | 10,247 | tla-parser-s |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 | jarjuk |