Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update MSG bugged mutual exclusion example
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 09:51:21 +0000 (11:51 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 09:56:37 +0000 (11:56 +0200)
commit443f173e17963d97c3ff28f6dec85846b92bc69d
treebc8ce8f695186831aabb6582da0b06ac43171ef1
parent7b1c1aadfae6740b800408845c235f76fefd0dc2
model-checker : update MSG bugged mutual exclusion example
examples/msg/mc/bugged1_liveness.c