Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Compile pthread-mutex-simple in a way that allows its model-checking