From Falsification to Verification.

Doron A. Peled Amir Pnueli Lenore D. Zuck

Published in: FSTTCS (2001)

Keyphrases

formal methods
model checking
formal verification
high security
image processing
face verification
signature verification
machine learning
search engine
image segmentation
database systems
asynchronous circuits