Etude de l'apport des méthodes formelles déductives pour les développements de sécurité
La mise en oeuvre des méthodes formelles déductives lors du développement de systèmes permet d'obtenir des garanties mathématiques quant à leur validité. Pour cette raison, leur utilisation est recommandée ou exigée par certains standards relatifs à la sûreté de fonctionnement ou à la sécurité,...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Pierre et Marie Curie - Paris VI
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00468914 http://tel.archives-ouvertes.fr/docs/00/46/89/14/PDF/jaeger_thesis.pdf http://tel.archives-ouvertes.fr/docs/00/46/89/14/PDF/jaeger_resume.pdf http://tel.archives-ouvertes.fr/docs/00/46/89/14/ANNEX/jaeger_soutenance.pdf |