Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : stop exploration if there isn't evolution in Büchi automaton
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 17 Nov 2011 08:59:08 +0000 (09:59 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 17 Nov 2011 08:59:08 +0000 (09:59 +0100)
commit2b6a13defd8f5be6e04fe678115b24f7a53ce006
tree3a122320fe5698e32dfadac31817e80bdc15140e
parent403e0e03205591d9b723d0f032fe9b72651066b4
model-checker : stop exploration if there isn't evolution in Büchi automaton
src/mc/mc_liveness.c