Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : DPOR (independant transitions) algorithm for liveness properties
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 5 Jul 2011 09:16:08 +0000 (11:16 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
commit4b6daec896cfa8220c801d9c7dcf2af7eedcbff0
tree90f0c8daa895532d008bb4c2770aee56cdb73ff7
parent24e5543a2803412d6edeb3ace5ecf0fc87de7cd4
model-checker : DPOR (independant transitions) algorithm for liveness properties
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