2 results found Sort:

informalsystems
quint informalsystems
37
840
apache-2.0
23
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
quint tlaplus apalache language specification
Created 2021-05-28
3,539 commits to main branch, last one a day ago
apalache-mc
apalache apalache-mc
40
443
apache-2.0
9
APALACHE: symbolic model checker for TLA+ and Quint
smt tla quint tlaplus apalache verification model-checking
Created 2015-07-03
6,416 commits to main branch, last one 4 days ago