Sur-approximations non régulières et terminaison pour l'analyse d'accessibilité
L analyse d accessibilité est une des composantes de l analyse de modèles. Elle consiste à modéliser un système complexe par trois ensembles : le langage initial, le langage des configurations indésirables et un système de réécriture. Le langage initial et le langage des configurations indésirables...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | , , , , |
| Format: | Thèse numérique |
| Idioma: | Français |
| Publicat: |
2017.
|
| Matèries: | |
| Accés en línia: | Accès au texte intégral https://theses.univ-orleans.fr/public/2017ORLE2044_va.pdf http://www.theses.fr/2017ORLE2044/abes https://theses.hal.science/tel-01891863 |
| Nota: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Sébastien Limet (Président du jury) ; Pierre Réty, Sébastien Limet, Thomas Genet, Pierre-Cyrille Heam, Yohan Boichut, Pierre-Etienne Moreau (Membre(s) du jury) ; Thomas Genet, Pierre-Cyrille Heam (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Non-regular over-approximations and termination for reachability analysis |