Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh for liveness example
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Jun 2013 13:11:27 +0000 (15:11 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Jun 2013 13:11:27 +0000 (15:11 +0200)
commit5fc5f436eb940f695a905a97efec90ec1ff15882
tree4af2d375b842c3319129b3fa7f3ea3aed2e679a7
parent5ad607a5d74b8692fb56c1e4bf02400a2bccb55f
model-checker : update tesh for liveness example
examples/msg/mc/bugged1_liveness.tesh