Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : parallel system state comparison for safety MC
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Oct 2013 08:46:58 +0000 (10:46 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Oct 2013 08:51:27 +0000 (10:51 +0200)
commit9788cd051f72b982ec571c96e84577e9749188b1
tree2ca68a5dc23452da8648d3587d00c7489105cd97
parente581b2ad1ed170f3b7f64b7db3d0f5c80c173437
model-checker : parallel system state comparison for safety MC
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_private.h