Login / Signup

Automatic invariant strengthening to prove properties in bounded model checking.

Mohammad AwedhFabio Somenzi
Published in: DAC (2006)
Keyphrases
  • bounded model checking
  • invariant properties
  • model checking
  • invariance properties
  • desirable properties
  • learning algorithm
  • multiscale
  • semi automatic
  • affine invariant