Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : keep one bugged1 example for liveness properties
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 26 Jun 2012 08:59:45 +0000 (10:59 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 26 Jun 2012 09:00:05 +0000 (11:00 +0200)
commita28877c438152045726c8882e363ff1422d99280
tree77df5d7275df0d78b1b14ed17cf77a6f48dbbf67
parent788888f6b77805d81ee445672fd37893debe1adb
model-checker : keep one bugged1 example for liveness properties
examples/msg/mc/bugged1_liveness.c [new file with mode: 0644]