Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : stateless model checking for liveness properties
[simgrid.git] / src / mc / mc_liveness.c
2011-10-25 Marion Guthmullermodel-checker : stateless model checking for liveness...
2011-10-25 Marion Guthmullermodel-checker : separate informations for safety statef...
2011-10-25 Marion Guthmullermodel-checker : DPOR (independant transitions) algorith...
2011-10-25 Marion Guthmullermodel-checker : separate dfs and dpor algorithms with...
2011-10-25 Marion Guthmullermodel-checker : 128bits->160bits for hash of visited...
2011-10-25 Marion Guthmullermodel-checker : restore interleaved process when restor...
2011-10-25 Marion Guthmullermodel-checker : dfs with good restore snapshot
2011-10-25 Marion Guthmullermodel-checker : correction of dfs algorithm for livenes...
2011-10-25 Marion Guthmullermodel-checker : test dpor without replay from initial...
2011-10-25 Marion Guthmullermodel-checker : rename file mc_dfs -> mc_liveness