Contribution a l'algorithmique de la verification

Niveau: Supérieur
Contribution 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