Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : detection of acceptance cycle when the first acceptance pair reached
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 15 Nov 2011 15:51:03 +0000 (16:51 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 15 Nov 2011 15:51:03 +0000 (16:51 +0100)
commit5686a3e9d8b1f7d2369f6cb9b1ce082d776b1f16
tree6d5aaa23779543c2a80cdab3f37dde4a9e4f05ad
parent788db2724e25a92188bb8012665999c088b815c6
model-checker : detection of acceptance cycle when the first acceptance pair reached
src/mc/mc_checkpoint.c
src/mc/mc_liveness.c
src/simix/smx_smurf.c