APALACHE: symbolic model checker for TLA+ and Quint - View it on GitHub