Apalache Model Checker

Apalache: symbolic model checker for TLA+ and Quint

Pinned Repositories

apalache
APALACHE: symbolic model checker for TLA+ and Quint
Language:Scala449 7 1.2k41
apalache-bench
Apalache Bench Tests
Language:HTML5 4 900
apalache-chai
Chai: Client for Human-Apalache Interaction
Language:Python2 7 222
apalache-tests
Benchmarks for apalache
Language:SMT6 22 152

Apalache Model Checker's Repositories

apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Language:Scala449 7 1.2k41
apalache-mc/apalache-tests
Benchmarks for apalache
Language:SMT6 22 152
apalache-mc/apalache-bench
Apalache Bench Tests
Language:HTML5 4 900
apalache-mc/apalache-chai
Chai: Client for Human-Apalache Interaction
Language:Python2 7 222