Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker: add chord example for liveness property model checking
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 14:49:56 +0000 (15:49 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commit3eba06c317ce6ba3737ea25a3e3ecbcff4e56882
treea8f567d7a2e12720142d2187b109a06761b27136
parentfde40a59529ab6874966a07ce928dc0897731678
model-checker: add chord example for liveness property model checking
examples/msg/mc/CMakeLists.txt
examples/msg/mc/chord_liveness.c [new file with mode: 0644]
examples/msg/mc/chord_liveness.h [new file with mode: 0644]
examples/msg/mc/deploy_chord_liveness.xml [new file with mode: 0644]
examples/msg/mc/promela_chord_liveness [new file with mode: 0644]