Translation-based co-verification.

Fei Xie Xiaoyu Song Haera Chung Ranajoy Nandi

Published in: MEMOCODE (2005)

Keyphrases

machine translation
model checking
face verification
multiscale
formal methods
database
artificial intelligence
decision trees
case study
relational databases
natural language processing
query expansion
rotation and translation
verification method
concurrent systems