Abstraction as the Key for Invariant Verification.

Saddek Bensalem Susanne Graf Yassine Lakhnech

Published in: Verification: Theory and Practice (2003)

Keyphrases

high level
model checking
real time
formal verification
case study
bounded model checking
high security
invariant features
affine invariant
databases
d objects
image registration
three dimensional
search engine
information retrieval
moment invariants
neural network
database