quint topic

List quint repositories

apalache

430
Stars
40
Forks
Watchers

APALACHE: symbolic model checker for TLA+ and Quint

verified publisher icon apalache-mc

quint

787
Stars
31
Forks
Watchers

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

verified publisher icon informalsystems