Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : stateless model checking for liveness properties
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 21 Aug 2011 09:37:04 +0000 (11:37 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:57 +0000 (13:36 +0200)
commitb2b401f886e6e1c849e1dcd5b70a7133ba4859f9
tree0cffff8216342f385b70f16e3a6bbca7fb96dc72
parent5a9c70d5dfe11c9c7660b795b00f49b4170da968
model-checker : stateless model checking for liveness properties
examples/msg/chord/CMakeLists.txt
examples/msg/chord/chord_stateful.c [new file with mode: 0644]
examples/msg/mc/CMakeLists.txt
examples/msg/mc/example_automaton.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h