Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : if acceptance cycle is detected, get num of equal pairs
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 25 Mar 2013 21:36:36 +0000 (22:36 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 25 Mar 2013 22:11:00 +0000 (23:11 +0100)
commitc12f31e0bf110c61b506ef20c1d4de6b2cd2db87
tree98b1c3b5d09c65fb585ab8becbb310601becbcfb
parentd2bf506bf4ebad03e01464d88a0635165ca8a4ed
model-checker : if acceptance cycle is detected, get num of equal pairs
src/mc/mc_liveness.c