2 results found Sort:

informalsystems
quint informalsystems
45
893
apache-2.0
26
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
quint tlaplus apalache language verification specification formal-methods
Created 2021-05-28
3,700 commits to main branch, last one 7 days ago
apalache-mc
apalache apalache-mc
42
454
apache-2.0
6
APALACHE: symbolic model checker for TLA+ and Quint
smt tla quint tlaplus apalache verification model-checking
Created 2015-07-03
6,432 commits to main branch, last one 2 months ago