Login / Signup

Proving More Properties with Bounded Model Checking.

Mohammad AwedhFabio Somenzi
Published in: CAV (2004)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • linear temporal logic
  • neural network
  • temporal logic
  • structural properties
  • topological properties
  • information systems
  • website
  • multiscale