Login / Signup

Automated Polynomial Formal Verification: Human-Readable Proof Generation.

Rolf DrechslerMartha Schnieber
Published in: iSES (2023)
Keyphrases
  • formal verification
  • human readable
  • model checking
  • meta information
  • model checker
  • automated verification
  • bounded model checking
  • semantic content
  • multimedia
  • theorem prover