Formal verification of translation validators
Comme tout logiciel, les compilateurs, et tout particulièrement les compilateurs optimisant, peuvent être défectueux. Il est donc possible qu'ils changent la sémantique du programme compilé, et par conséquent ses propriétés. Dans le cadre de développement de logiciels critiques, où des méthodes...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00437582 http://tel.archives-ouvertes.fr/docs/00/43/75/82/PDF/dissertation_english.pdf |