TLC model checker

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf model checker
gptkbp:category formal methods tool
software verification tool
gptkbp:developedBy gptkb:Leslie_Lamport
gptkbp:firstReleased 1999
gptkbp:format TLA+ specification
counterexample trace
https://www.w3.org/2000/01/rdf-schema#label TLC model checker
gptkbp:latestReleaseVersion 2023-10-10
1.7.1
gptkbp:license gptkb:MIT_License
gptkbp:maintainedBy gptkb:Microsoft_Research
gptkbp:officialWebsite https://lamport.azurewebsites.net/tla/tla.html
gptkbp:openSource true
gptkbp:platform Cross-platform
gptkbp:repository https://github.com/tlaplus/tlaplus
gptkbp:supports distributed model checking
multi-core model checking
gptkbp:supportsLanguage gptkb:TLA+
gptkbp:usedFor model checking
gptkbp:writtenBy gptkb:Java
gptkbp:bfsParent gptkb:TLA+_specification_language
gptkbp:bfsLayer 6