Property directed reachability with word-level abstraction.

Yen-Sheng Ho Alan Mishchenko Robert K. Brayton

Published in: FMCAD (2017)

Keyphrases

word level
language independent
document images
machine translation
document analysis
n gram
sentence level
state space
word recognition
word segmentation
language modeling
character recognition
markov chain
co occurrence
viterbi algorithm
document level
image analysis