Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker: new examples for liveness model checking
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Nov 2011 13:37:08 +0000 (14:37 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Nov 2011 13:37:08 +0000 (14:37 +0100)
commit4680606bad1fe9674554b6238add19de1bf6dde0
tree7142194066b7bd426303fc49bb545c38f3c25c06
parent8bda55c18efe5d60be1d49937e1869b4588c2b2f
model-checker: new examples for liveness model checking
examples/msg/mc/CMakeLists.txt
examples/msg/mc/example2_liveness_without_cycle.c [deleted file]
examples/msg/mc/example2_liveness_without_cycle.h [deleted file]
examples/msg/mc/example_liveness_with_cycle.c
examples/msg/mc/example_liveness_without_cycle.c