Login / Signup

Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals.

Gianpiero CabodiSergio NoccoStefano Quer
Published in: J. Univers. Comput. Sci. (2004)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • concurrent systems
  • knowledge base
  • search strategy
  • transition systems