Memory Usage Verification Using Hip/Sleek.

Guanhua He Shengchao Qin Chenguang Luo Wei-Ngan Chin

Published in: ATVA (2009)

Keyphrases

memory usage
model checking
memory footprint
verification method
asynchronous circuits
memory requirements
similarity measure
database
face verification
decision making
formal methods
signature verification
databases
feature extraction
three dimensional
formal verification
information systems
social networks