Login / Signup

Proof-based coverage metrics for formal verification.

Elaheh GhassabaniAndrew GacekMichael W. WhalenMats Per Erik HeimdahlLucas G. Wagner
Published in: ASE (2017)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • symbolic model checking
  • bounded model checking
  • automated verification
  • theorem prover
  • evaluation metrics
  • test suite
  • program slicing
  • functional verification