Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : example for detection of acceptance cycle with liveness properties...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 9 Nov 2011 10:59:32 +0000 (11:59 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 9 Nov 2011 10:59:32 +0000 (11:59 +0100)
commit5d3371b450c02d427a69462ca166772385117791
treed366d75c19c59538342fab80d0084738f751a120
parent1445abc41c393d58f855d2048fe07900698a8049
model-checker : example for detection of acceptance cycle with liveness properties fixed
examples/msg/mc/example_liveness_with_cycle.c