Login / Signup

Exploiting Structural Similarities in a BDD-Based Verification Method.

C. A. J. van EijkGeert Janssen
Published in: TPCD (1994)
Keyphrases
  • verification method
  • structural similarities
  • model checking
  • temporal logic
  • binary decision diagrams
  • knowledge base
  • breadth first search
  • knowledge representation