Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with quint
A curated list of projects in awesome lists tagged with quint .
https://github.com/informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
apalache language quint specification tlaplus
Last synced: 30 Oct 2024
https://github.com/apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
apalache model-checking quint smt tla tlaplus verification
Last synced: 01 Aug 2024
