Dépôts open source suivis de quint-co, triés par étoiles.
Un langage de spécification exécutable avec des outils performants basés sur la logique temporelle des actions (TLA).
