Soft contract verification.

Phuc C. Nguyen Sam Tobin-Hochstadt David Van Horn

Published in: ICFP (2014)

Keyphrases

model checking
formal verification
similarity measure
computer vision
supply chain
database
learning algorithm
search engine
information systems
decision making
website
face verification
fingerprint verification
verification method
concurrent systems