Verification by Abstraction.

Natarajan Shankar

Published in: 10th Anniversary Colloquium of UNU/IIST (2002)

Keyphrases

hardware designs
high level
model checking
bounded model checking
verification method
database
relational databases
signature verification
formal verification
concurrent systems
machine learning
knowledge base
multimedia
data abstraction
decision theoretic planning