Certification of a Tool Chain for Deductive Program Verification
This thesis belongs to the domain of software verification. The goalof verifying software is to ensure that an implementation, a program,satisfies the requirements, the specification. This is especiallyimportant for critical computer programs, such as control systems forair planes, trains and power...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Université Paris Sud - Paris XI
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00789543 http://tel.archives-ouvertes.fr/docs/00/78/95/43/PDF/VD2_HERMS_PAOLO_14012013.pdf |