2 results found Sort:

informalsystems
quint informalsystems
34
829
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,518 commits to main branch, last one a day ago
apalache-mc
apalache apalache-mc
40
441
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,351 commits to main branch, last one 14 days ago