Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model check : acceptance cycle detection with automaton (depth first search without...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 4 May 2011 11:45:41 +0000 (13:45 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:55 +0000 (13:36 +0200)
commit1c9c0b176c525481b6c223842ebd4be29dc1f111
tree72d02821ed81415fe236258367d81d46fccfd5fd
parenta919469a2cba34e8d082b652f03b33182d27fa5d
model check : acceptance cycle detection with automaton (depth first search without dpor)
examples/msg/mc/example_automaton.c
src/mc/mc_dfs.c
src/mc/mc_global.c
src/mc/private.h