Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new examples
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 3 Jun 2012 07:45:48 +0000 (09:45 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 3 Jun 2012 07:45:48 +0000 (09:45 +0200)
commit5ce4106d57347a7871f0f0ee39bdef5fd0c824ae
tree31d170e2a5abc6f577bc64154c04576bcf78e0e4
parent9f0602d096fe3746a4e398b40b8fe8384f7851ec
model-checker : new examples
examples/msg/mc/CMakeLists.txt
examples/msg/mc/centralized_liveness.c
examples/msg/mc/centralized_liveness.h
examples/msg/mc/centralized_liveness_deadlock.c [new file with mode: 0644]