Universität Karlsruhe
cand. inform. Steffen MĂŒlling

Arbeitsgebiete

Maschinelle Verifikation von Übersetzern, insbesondere von Transformationen von SSA-Darstellungen, mit dem Theorembeweiser Isabelle/HOL

Projekte

Abgeschlossen
Aktionsplan Informatik
Eliteförderprogramm fĂŒr Postdoktoranden

Bearbeitete Studien- und Diplomarbeiten

Studienarbeit
Maschinelle Verifikation der Codeerzeugung fĂŒr VLIW-Prozessoren (abgeschlossen)

Veröffentlichungen

2005
Blech, Glesner, Leitner, MĂŒlling, A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL
Login
Links