Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : separate informations for safety stateful/stateless and liveness...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 20 Aug 2011 15:24:24 +0000 (17:24 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:57 +0000 (13:36 +0200)
commit5a9c70d5dfe11c9c7660b795b00f49b4170da968
tree8c07eb1d5c031c8867fd9bf2e79d1a87179c186e
parent30cbad5558adbe624358be3b839ae57a0b034d9e
model-checker : separate informations for safety stateful/stateless and liveness stateful/stateless
examples/msg/mc/bugged1_stateful.c
examples/msg/mc/bugged2_stateful.c [new file with mode: 0644]
examples/msg/mc/example_automaton.c
include/mc/modelchecker.h
include/msg/msg.h
src/include/mc/mc.h
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h
src/msg/global.c