Login / Signup

Accelerating Bounded Model Checking of Safety Properties.

Ofer Strichman
Published in: Formal Methods Syst. Des. (2004)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • data sets
  • desirable properties
  • orders of magnitude
  • structural properties
  • linear temporal logic
  • neural network
  • learning algorithm
  • cooperative