Back to the future: revisiting precise program verification using SMT solvers.

Shuvendu K. Lahiri Shaz Qadeer

Published in: POPL (2008)

Keyphrases

long term
search algorithm
modulo theories
real world
case study
information technology
logic programs
highly accurate
statistical machine translation
predicting future
quantified boolean formulas