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: 169,573 of 192,565
Downloads: 2,728
Daily
Ranking: 78,013 of 192,541
Downloads: 1
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|---|---|
| 146,868 | 4,041 | sbuilder-eth |
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 95 | 469,018,427 | docile |
| 729 | 76,511,640 | mustache |
| 60,609 | 17,901 | tla-sbuilder |
| 86,561 | 10,514 | tla-parser-s |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 | jarjuk |