Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use only structure (mc_pair_t) for the verification of liveness prope...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 28 May 2013 16:19:21 +0000 (18:19 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 28 May 2013 16:19:21 +0000 (18:19 +0200)
commit86942626354f3a1b1df9404a9324a9dbfb955c9a
tree18f113ad3f458797890627fcb420cf3486899905
parentc73aeef05e1a3702e23296f6ff6690d6d408543b
model-checker : use only structure (mc_pair_t) for the verification of liveness properties
src/mc/mc_liveness.c
src/mc/mc_pair.c
src/mc/mc_private.h