Benutzer:Burkhart.Wolff
Zur Navigation springen
Zur Suche springen
Ich bin Professor an der Universität Paris-Sud (Orsay) im Laboratoire de Recherche Informatique (LRI).
Meine Forschungsinteressen liegen im Bereich Software-Verifikationsumgebungen. Dis umfasst Formale Entwicklungsmethoden durch Verfeinerung (wie HOL-Z oder HOL-OCL), bottum-up Code-Verifikationsverfahren (wie IMP++ oder HOL-Boogie) oder spezifikationsbasierte Test-Verfahren wie HOL-TestGen). Ich wurde schon als "Formaler Methodist" in der Software-Technik bezeichnet ...