Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with apalache

A curated list of projects in awesome lists tagged with apalache .

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: 31 Jul 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