Roland Lezuo

Using the CASM language for simulator synthesis and model verification

Andreas Krall, Roland Lezuo, A. Krall, 2013, RAPIDO '13.

vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification

Ioan Dragan, Andreas Krall, Gergö Barany, 2015, 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).

vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification

A. Krall, I. Drăgan, Roland Lezuo, 2015 .