Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:developedBy |
gptkb:Leslie_Lamport
gptkb:Microsoft_Research |
| gptkbp:hasComponent |
gptkb:editor
gptkb:TLC_model_checker syntax highlighting PlusCal translator error trace viewer |
| https://www.w3.org/2000/01/rdf-schema#label |
TLA+ Toolbox
|
| gptkbp:latestReleaseVersion |
1.7.2
|
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:operatingSystem |
gptkb:Windows
gptkb:macOS gptkb:Linux |
| gptkbp:platform |
cross-platform
|
| gptkbp:programmingLanguage |
gptkb:Java
|
| gptkbp:relatedTo |
gptkb:TLA+
gptkb:PlusCal gptkb:TLC |
| gptkbp:repository |
https://github.com/tlaplus/tlaplus
|
| gptkbp:supportsLanguage |
gptkb:TLA+
|
| gptkbp:usedFor |
algorithm design
model checking formal specification concurrent system verification |
| gptkbp:website |
https://lamport.azurewebsites.net/tla/toolbox.html
|
| gptkbp:bfsParent |
gptkb:TLA+
gptkb:PlusCal gptkb:TLA+_tools |
| gptkbp:bfsLayer |
7
|