Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification.

Published in: CAV (2000)

Keyphrases

model checking
verification method
formal verification
information retrieval
face verification
formal analysis
search engine
decision trees
case study
affine transformation
asynchronous circuits