Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Initial FAQ section for using the model-checking mode.