Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : visited states reduction available with comm determinism verification
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 26 Jun 2014 15:49:25 +0000 (17:49 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 26 Jun 2014 15:49:25 +0000 (17:49 +0200)
commit83a2c3a9dd2104f4db2f42a483b212f07aa39f6b
treea549ac8b439ffc4900f0e2e15e11cb6f93348bab
parentc3d9e19f326834612b2acff8b8352ecf9108ac01
model-checker : visited states reduction available with comm determinism verification
src/mc/mc_comm_determinism.c
src/mc/mc_global.c
src/mc/mc_private.h
src/mc/mc_safety.c
src/mc/mc_visited.c