Abstractions booléennes pour la vérification des systèmes temps-réel
Cette thèse présente un schéma formel et efficace pour la vérification de systèmes temps-réel. Ce schéma repose sur la combinaison par abstraction de techniques déductives et de model checking, et cette combinaison permet de contourner les limites de chacune de ces techniques. La méthode utilise le...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Henri Poincaré - Nancy I
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00195096 http://tel.archives-ouvertes.fr/docs/00/19/50/96/PDF/thesis.pdf |