Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update msg chord example for the verification with MC
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 22:07:10 +0000 (23:07 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 22:07:10 +0000 (23:07 +0100)
commit2398ef453746c412c3b3be6523e7a2ac139e97bc
tree9f80aee0e4a05307645d1f5df62faf84e1ab31a1
parent0ecf1fc991ba1f035fd1ddfc4a5c021b8630144d
model-checker : update msg chord example for the verification with MC
examples/msg/chord/chord.c