Snapshot Verification.

Blaise Genest Dietrich Kuske Anca Muscholl Doron A. Peled

Published in: TACAS (2005)

Keyphrases

verification method
model checking
decision making
fingerprint verification
social networks
formal verification
signature verification
face verification
high security
asynchronous circuits
test generation
formal methods
real time
relational databases
digital libraries
information systems
data sets