apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint
444Updated 2 weeks ago

Alternatives and similar repositories for apalache:

Users that are interested in apalache are comparing it to the libraries listed below