Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification.

Rolf Drechsler Martha Schnieber

Published in: MEMOCODE (2023)

Keyphrases

formal verification
human readable
model checking
hand crafted
meta information
model checker
theorem proving
databases
automatically generated
xml documents
image data