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 formal-methods language quint specification tlaplus verification
Last synced: 29 Dec 2025
https://github.com/apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
apalache model-checking quint smt tla tlaplus verification
Last synced: 18 Apr 2025
https://github.com/konnov/cyclic-buffer-challenge
Bug finding challenge for all of the tools around
aflplusplus apalache challenge fuzzing pbt proptest quint tlaplus tlc
Last synced: 25 Dec 2025
https://github.com/konnov/apalache-rpc-client
Minimalistic Python client for interaction with the Apalache model checker over JSON RPC
apalache client model-based-testing model-checking quint symbolic-execution testing tla tlaplus
Last synced: 25 Dec 2025
