Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Cleaner detection of using model-checking.