Dépôts open source suivis de apalache-mc, triés par étoiles.
APALACHE : vérificateur de modèle symbolique pour TLA+ et Quint
