Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : revalidate tesh
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:39:18 +0000 (19:39 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:41:16 +0000 (19:41 +0100)
commitb440a5bd3aca5b2f8a333fbe207b9a24fc95a699
tree3f9fcc292d74512b6ed5bcf7e131e009f0154420
parent2def2670b9817c434d1069536b434c548e14199f
model-checker : revalidate tesh
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_sparse.tesh
examples/msg/mc/bugged1_liveness_visited.tesh
examples/msg/mc/bugged1_liveness_visited_sparse.tesh