Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions.

Robi Malik Ryan J. Leduc

Published in: IEEE Trans. Autom. Control. (2013)

Keyphrases

continuous queries
high level
image processing
model checking
signature verification
real time
information systems
decision making
website
image segmentation
face verification
functional verification