Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new structure reached_pair_stateless for acceptance cyle detection
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 21 Aug 2011 11:02:18 +0000 (13:02 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:57 +0000 (13:36 +0200)
commita3e571ac861dd0f2ff48603a19e0e96ee801b423
tree01f8ef9c6bde9a18a3b6ffcf7c97b7000d931222
parentb2b401f886e6e1c849e1dcd5b70a7133ba4859f9
model-checker : new structure reached_pair_stateless for acceptance cyle detection
src/mc/mc_liveness.c
src/mc/private.h