/veritaf

CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson

veritaf

Structures de Kripke, logiques et formules CTL et LTL pour la modélisation et vérification de systèmes concurrents