Translation-based co-verification. - Fei Xie; Xiaoyu Song; Haera Chung; Ranajoy Nandi (MEMOCODE, 2005)