Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : example bugged2_liveness modified
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 23 Feb 2012 16:10:19 +0000 (17:10 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 23 Feb 2012 16:10:19 +0000 (17:10 +0100)
commitafed9888f251fb1e95e64b562786a80920f828da
treecafc5246ae5dfd55ba6279ad32043249d7ba6891
parent1afd0358e32467f6e33a233e16355a26e21215c4
model-checker : example bugged2_liveness modified
examples/msg/mc/bugged2_liveness.c
examples/msg/mc/deploy_bugged2_liveness.xml