Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : generate dot file for the verification of liveness properties
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 2 Jun 2013 19:07:15 +0000 (21:07 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 2 Jun 2013 19:08:44 +0000 (21:08 +0200)
commit7f06482332409f552ac19d126fa69520ade79fcb
treeded696174bb381337cd321abeae01b37a2929cb5
parent526071cbe469230ffeb90c7fca623b6bdc01db21
model-checker : generate dot file for the verification of liveness properties
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_private.h