vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.

Roland Lezuo, Ioan Dragan, Gerg Barany, Andreas Krall

Browse the full SYNASC paper archive.