Apalache model checker

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:software
model checker
gptkbp:developedBy gptkb:Informal_Systems
gptkbp:documentation https://apalache.informal.systems/docs/latest/
gptkbp:focusesOn symbolic model checking
https://www.w3.org/2000/01/rdf-schema#label Apalache model checker
gptkbp:license gptkb:Apache_License_2.0
gptkbp:openSource true
gptkbp:repository https://github.com/informalsystems/apalache
gptkbp:supports gptkb:TLA+
gptkbp:usedFor formal verification
checking liveness properties
checking safety properties
gptkbp:writtenBy gptkb:Scala
gptkbp:bfsParent gptkb:TLA+_tools
gptkbp:bfsLayer 7