Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : separate dfs and dpor algorithms with restore snapshot/replay or...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 1 Jul 2011 15:02:03 +0000 (17:02 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
commit24e5543a2803412d6edeb3ace5ecf0fc87de7cd4
treed995cd92af5e38042f72a7a9f4ae7b3029e136bc
parent855eeebe46f239ac98e86c7ce382eb278c15dd82
model-checker : separate dfs and dpor algorithms with restore snapshot/replay or visited states
examples/msg/mc/example_automaton.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h