Certifying System Translations Using Higher Order Theorem Provers

Jan Olaf Blech

ISBN 978-3-8325-2211-7
Seiten, Erscheinungsjahr:
Preis: Eur €
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.

  • Theorembeweisen
  • Compiler
  • Softwarekorrektheit
  • Zertifizierung
  • Verifikation


36.00 €
Versandkostenfrei innerhalb Deutschlands

Wollen auch Sie Ihre Dissertation veröffentlichen?