SMT-Based System Verification with DVF.

Amit Goel Sava Krstic Rebekah Leslie Mark R. Tuttle

Published in: SMT@IJCAR (2012)

Keyphrases

model checking
motion compensated
preprocessing step
face verification
formal verification
statistical machine translation
real time
verification method
computer vision
formal methods