Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new version of stateless double dfs algorithm for liveness properties
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 9 Nov 2011 10:57:22 +0000 (11:57 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 9 Nov 2011 10:57:22 +0000 (11:57 +0100)
commit1445abc41c393d58f855d2048fe07900698a8049
tree2f99124a8abdc98b473dc239459a6cee7d073026
parent50d4f311b5986c55419de78115b6a4c7532c93ac
model-checker : new version of stateless double dfs algorithm for liveness properties
src/mc/mc_liveness.c