Login / Signup

Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking.

Priyanka DarkeBharti ChimdyalwarAvriti ChauhanR. Venkatesh
Published in: ICST (2017)
Keyphrases
  • bounded model checking
  • theorem prover
  • case study
  • source code
  • scale space
  • model checking
  • temporal logic