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,676 of 189,259
Downloads: 2,666
Daily
Ranking: - of 0
Downloads: -
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|---|---|
| 170,059 | 2,587 | sbuilder-eth |
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 97 | 446,238,850 | docile |
| 729 | 73,536,841 | mustache |
| 60,191 | 17,585 | tla-sbuilder |
| 86,008 | 10,327 | tla-parser-s |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 | jarjuk |