Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : more condition (state with processes interleaved > 0) for detection...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Nov 2011 13:39:53 +0000 (14:39 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Nov 2011 13:39:53 +0000 (14:39 +0100)
commit071699dbbcb6ebfc659f27ae4b83bc74f6dfa9cb
tree44e28c44a5da0b11fd63a0f4e73cef4835367a16
parent4680606bad1fe9674554b6238add19de1bf6dde0
model-checker : more condition (state with processes interleaved > 0) for detection of acceptance cycle
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h