Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : abort if acceptance cycle detected
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 21 Nov 2012 14:49:37 +0000 (15:49 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 21 Nov 2012 15:06:13 +0000 (16:06 +0100)
commit9eb198857c1c5d46886f0eb0ebbbfeca3d4de78e
tree92dc256054eb4b9d8d990e026590a32a66f32dec
parentf0628d9c3730884cfbeede51586f2c8561f4fac2
model-checker : abort if acceptance cycle detected
src/mc/mc_liveness.c