apalache topic
List
apalache repositories
apalache
430
Stars
40
Forks
Watchers
APALACHE: symbolic model checker for TLA+ and Quint
modelator-py
28
Stars
2
Forks
Watchers
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
tla-apalache-workshop
22
Stars
5
Forks
Watchers
Material for a workshop on Apalache and TLA+. To be populated with more examples.
quint
787
Stars
31
Forks
Watchers
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)