Vers un Model Checking avec accélération plate des systèmes hétérogènes
Cette thèse s'inscrit dans le cadre de la vérification formelle de systèmes informatiques. Plus exactement nous nous intéressons au calcul de l'ensemble d'accessibilité d'automates étendus par des variables à domaines infinis. Bien que cet ensemble ne soit pas récursif en général...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
École normale supérieure de Cachan - ENS Cachan
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00131834 http://tel.archives-ouvertes.fr/docs/00/13/18/34/PDF/Bardin2005.PDF |