A HIP and SLEEK verification system.

Wei-Ngan Chin Cristina David Cristian Gherghina

Published in: OOPSLA Companion (2011)

Keyphrases

model checking
database
verification method
data mining
information retrieval
data structure
preprocessing
face verification
formal verification
asynchronous circuits
search engine
information systems
metadata
similarity measure
formal methods
concurrent systems