APALACHE: symbolic model checker for TLA+ and Quint
Primary LanguageScalaApache License 2.0Apache-2.0