REFINITYA workbench for modeling and proving statement-based program transformation rules.Last updated on Aug 7, 2020 toolsGo to Project SiteDominic SteinhöfelPostdoctoral Researcher in Computer ScienceMy research interests include software reengineering, safe program transformation, program verification, and symbolic execution.RelatedExtract Inkscape Layers to PDF files for LaTeX Beamer Presentations