Vérification Constructive des Systèmes à base de Composants
L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des d...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00485933 http://tel.archives-ouvertes.fr/docs/00/52/66/51/PDF/thesis-hung-nguyen.pdf |