Sign in

SMT-Based System Verification with DVF.

Amit GoelSava KrsticRebekah LeslieMark 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