Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove backtracking if no more request to execute in system state...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 14:45:00 +0000 (15:45 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commitbafef7b73131ceb40d273d98b1850823329ee689
treeaf33c34c32ade0f2a3baa2ec214018366dd8a196
parent225f61cee1db75a997e6f4654b0de8218e3aa8fc
model-checker : remove backtracking if no more request to execute in system state, search evolution in Büchi automaton
src/mc/mc_liveness.c