Aide à la vérification de programmes concurrents par transformation de code et de spécifications
Vérifier formellement des programmes concurrents est une tâche difficile. S il existe différentes techniques pour la réaliser, très peu sont effectivement mises en oeuvre pour des programmes écrits dans des langages de programmation réalistes. En revanche, les techniques de vérification formelles de...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , , , , , , , |
| Format: | Thèse numérique |
| Langue: | Français |
| Publié: |
2016.
|
| Sujets: | |
| Accès en ligne: | Accès au texte intégral https://theses.univ-orleans.fr/public/2016ORLE2073_va.pdf http://www.theses.fr/2016ORLE2073/abes |
| Note: |
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) ; Frédéric Loulergue, Sébastien Limet, Catherine Dubois, Sylvain Conchon, Jan-Georg Smaus, Nikolaï Kosmatov, Stephan Merz, Louis Rilling (Membre(s) du jury) ; Catherine Dubois, Sylvain Conchon (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Assisted concurrent program verification by code and specification transformation |