Contribution a l'algorithmique de la verification

Niveau: SupérieurContribution a l'algorithmique de la verification (Memoire d'habilitation a diriger des recherches) Jean-Michel COUVREUR Laboratoire Bordelais de Recherche en Informatique CNRS UMR 5800 - Universite Bordeaux I Laboratoire Specification et Verification CNRS UMR 8643 - ENS de Cachan Presente le 6 juillet 2004 a l'ENS de Cachan devant un jury compose de : – Andre Arnold examinateur – Javier Esparza examinateur – Alain Finkel examinateur – Paul Gastin president – Serge Haddad rapporteur – Philippe Schnoebelen examinateur – Igor Walukiewicz rapporteur – Pierre Wolper rapporteur verification produit de reseaux symetriques construction globale abordees dans le cadre de projets industriels prefixe fini complet produit de reseaux de petri structure originale de diagrammes de decision adaptee