The KeY Project

Deduction-based program prover for Java

Last updated on Aug 7, 2020
Go to Project Site
Dominic Steinhöfel
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science

My research interests include software reengineering, safe program transformation, program verification, and symbolic execution.