Login / Signup

C for Yourself: Comparison of Front-End Techniques for Formal Verification.

Levente BajcziZsófia ÁdámVince Molnár
Published in: FormaliSE@ICSE (2022)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • automated verification
  • symbolic model checking
  • back end
  • database
  • test set
  • functional verification