Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés
Cette thèse propose un nouveau type de systèmes de ré-écriture, appelé les systèmes de réécriture fonctionnels. Nous montrons que notre modèle a la puissance d'expression des systèmes de ré-écriture et qu'il est bien adapté à l'étude de propriétés de sûreté et de propriétés de logique...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Thèse numérique |
| Langue: | Français |
| Publié: |
2010.
|
| Sujets: | |
| Accès en ligne: | Accès au texte intégral https://theses.univ-orleans.fr/public/2010ORLE2030_vm.pdf http://www.theses.fr/2010ORLE2030/abes https://theses.hal.science/tel-00579490 |
| Note: |
Thèse soutenue en co-tutelle Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Sciences et technologies (Orléans ; 2009-2012) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire), Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) Autre(s) contribution(s) : Serge Haddad (Président du jury) ; Jean-Michel Couvreur, Serge Haddad, Didier Buchs, Fabrice Kordon, Yohan Boichut, Ahmed Bouajjani (Membre(s) du jury) ; Didier Buchs, Fabrice Kordon (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Symbolic model-checking based on rewriting systems |