Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add new MAX_DEPTH_LIVENESS with verification liveness properties
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 7 Nov 2011 14:47:04 +0000 (15:47 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 7 Nov 2011 14:47:04 +0000 (15:47 +0100)
commit8c559bcf576778202a4e0840e9ac7ff7a47537f6
treeac78843e451a6027a0f9796b42fa5a6cd6b2c9ef
parent6988d9960f1104aaac5371c51c0d79daf1a13b68
model-checker : add new MAX_DEPTH_LIVENESS with verification liveness properties
src/mc/private.h