|
 |
|
 | |  |
| Arbeitsgebiete
Übersetzer, Verifikation, formale Beweise (Isabelle/HOL)
Projekte
Betreute Studien- und Diplomarbeiten
Bearbeitete Studien- und Diplomarbeiten
Veröffentlichungen
 |  | 2005 |
 |  |
 |  | Blech, Glesner, Leitner, Formal Verification of Java Code Generation from UML Models |  |  |
 | |  | |  |
 |  | Blech, Gesellensetter, Glesner, Formal Verification of Dead Code Elimination in Isabelle/HOL |  |  |
 | |  | |  |
 |  | Blech, Glesner, Leitner, Mülling, A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL |  |  |
 | |  | |  |
 |  | Glesner, Blech, Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler |  |  |
 | |  | |  |
| | |
 |  | 2004 |
 |  |
 |  | Blech, Glesner, A Formal Correctness Proof for Code Generation from SSA Form
in Isabelle/HOL |  |  |
 | |  | |  |
 |  | Blech, Eine formale Semantik für SSA-Zwischensprachen in Isabelle/HOL |  |  |
 | |  | |  |
| | |
 |  | 2003 |
 |  |
 |  | Blech, Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern |  |  |
 | |  | |  |
 |  | Glesner, Blech, Classifying and Formally Verifying Integer Constant Folding |  |  |
 | |  | |  |
| | | |