Giters

emmanuel-h / veritaf

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ctlltlveritafsolverpetersonkripke

veritaf

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

About

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

ctlltlveritafsolverpetersonkripke