Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : non-recursive liveness algorithm
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:38:39 +0000 (19:38 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:41:03 +0000 (19:41 +0100)
commit63c087da496454d29883c48e7eec52a392c28ad2
treeb55575a14ace92f7a75e84521288a5a13248b726
parentadcfb1a36dc3a193da6b595829fef2d7f4c9a4dd
model-checker : non-recursive liveness algorithm
src/mc/mc_liveness.c
src/mc/mc_liveness.h