Vérification des propriétés temporelles des programmes parallèles
La vérification formelle est indispensable pour assurer la fiabilité des applications critiques comme les protocoles de communication et les systèmes répartis. La technique de vérification basée sur les modèles (model-checking) consiste à traduire l'application vers un système de transitions ét...
Main Author: | |
---|---|
Language: | FRE |
Published: |
1998
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00004896 http://tel.archives-ouvertes.fr/docs/00/04/62/21/PDF/tel-00004896.pdf |