Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : simplify algorithm for the verification of liveness properties
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 31 May 2013 12:12:50 +0000 (14:12 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 31 May 2013 12:12:50 +0000 (14:12 +0200)
commit371649bf05bfba5c4b81a68c44fde1bce924d295
tree701415249d9a9c5107e038ceb511c8d653a7690f
parent756c7ab76ef93154efb6309c192763c2ac241928
model-checker : simplify algorithm for the verification of liveness properties
src/mc/mc_dpor.c
src/mc/mc_liveness.c
src/mc/mc_pair.c
src/mc/mc_private.h
src/xbt/mmalloc/mm_diff.c