Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : last version (incorrect) of double dfs algorithm for liveness propert...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Nov 2011 15:13:42 +0000 (16:13 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Nov 2011 15:13:42 +0000 (16:13 +0100)
commit6988d9960f1104aaac5371c51c0d79daf1a13b68
treebf824d53aa490aa8b1509bde0724eb3bcab9a605
parent071699dbbcb6ebfc659f27ae4b83bc74f6dfa9cb
model-checker : last version (incorrect) of double dfs algorithm for liveness properties before major rewrite to correct an error in the behavior of MC (possible evolution in B├╝chi automaton untreated)
src/mc/mc_global.c
src/mc/mc_liveness.c