Extensions des automates d'arbres pour la vérification de systèmes à états infinis
Les systèmes informatiques jouent un rôle essentiel dans la vie actuelle, et leurs erreurs peuvent avoir des conséquences dramatiques. Il existe des méthodes formelles permettant d'assurer qu'un système informatique est fiable. La méthode formelle utilisée dans cette thèse est appelée comp...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université Rennes 1
2014
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-01065696 http://tel.archives-ouvertes.fr/docs/01/06/56/96/PDF/MURAT_Valerie.pdf |