REFINITY A workbench for modeling and proving statement-based program transformation rules. Dominic Steinhöfel Last updated on Aug 24, 2022 tools Go to Project Site Dominic Steinhöfel Postdoctoral Researcher in Computer Science I’m a PostDoc @ CISPA (Saarbrücken, Germany). My research interests center around program verification.