Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : worst case considered for bugged1_liveness example (bug on the last...
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 10 Apr 2014 07:14:41 +0000 (09:14 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 10 Apr 2014 07:17:18 +0000 (09:17 +0200)
commit6415f461ec1e39a4f92167abe1b39d4d9b9f882e
treef445c43524e8bdd81f4866317c162e2d5cb668d7
parent859142ca754d78be9b83e7eff9c55fdf9c2ab4fe
model-checker : worst case considered for bugged1_liveness example (bug on the last process)
examples/smpi/mc/bugged1_liveness.c