Universität Karlsruhe
cand. inform. Johannes Leitner

Arbeitsgebiete

Verifikation UML, Statecharts -> Java, Isabelle/HOL

Projekte

Abgeschlossen
Aktionsplan Informatik
Eliteförderprogramm für Postdoktoranden

Bearbeitete Studien- und Diplomarbeiten

Studienarbeit
Koalgebraische Methoden in der maschinellen Verifikation vonoptimierenden Programmtransformationen (abgeschlossen)

Veröffentlichungen

2005
Blech, Glesner, Leitner, Formal Verification of Java Code Generation from UML Models
Blech, Glesner, Leitner, MĂĽlling, A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL
Login
Links