vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.

Roland Lezuo Ioan Dragan Gergö Barany Andreas Krall

Published in: SYNASC (2015)

Keyphrases

programming language
formal proof
general purpose
software systems
model checking
formal methods
verification method
theorem proving
formal verification
false acceptance
artificial intelligence
java bytecode
linear logic
signature verification
temporal logic
software engineering
knowledge base