Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : extend ignore mechanism with new user primitive MC_ignore