Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : communications determinism with visited state equality reduction
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:31:41 +0000 (19:31 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:39:34 +0000 (19:39 +0100)
commit00efa36e829e34b5052058bc12c9061ebaab0f90
treeed2884247ec4973535ce25f6b8b09740973e3a59
parentbcc86f131ebd6b12c9a0f6a5ba02eb532b830cc0
model-checker : communications determinism with visited state equality reduction
src/mc/mc_comm_determinism.c
src/mc/mc_comm_pattern.h
src/mc/mc_global.c
src/mc/mc_state.c
src/mc/mc_visited.c