Certifying System Translations Using Higher Order Theorem Provers
MENÜ
Jan Olaf Blech
ISBN 978-3-8325-2211-7
This thesis presents certifying system translations. This is a technique to guarantee the correctness of system translations. When conducting a translation of a system we compare for each translation the original and translated systems and decide whether the translation has been carried out correctly. This decision is based on a certificate generated during the translation process. Thus, we guarantee correctness of translations by verifying each translation run instead of the translation algorithm and its implementation.
Keywords:
- Theorembeweisen
- Compiler
- Softwarekorrektheit
- Zertifizierung
- Verifikation
KAUFOPTIONEN
| 36.00 € | ||
| auf Lager | ||
| Versandkostenfrei innerhalb Deutschlands | ||
Wollen auch Sie Ihre Dissertation veröffentlichen?
