PhD Thesis Published

Last updated on Aug 5, 2020 1 min read publication

My PhD thesis “Abstract Execution: Automatically Proving Infinitely Many Programs” has been published and is available for download (open access).

The abstract and possible errata found after publication are listed on a separate page. REFINITY, the workbench for proving conditional correctness of Java program transformation rules, has its own page on the KeY website. See below for the links to the PDF document.

Dominic Steinhöfel (2020). Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules. Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations.

PDF Cite DOI URL

Dominic Steinhöfel
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science

I’m a PostDoc @ CISPA (Saarbrücken, Germany). My research interests center around program verification.