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

Shuvendu K. Lahiri, Shaz Qadeer

Browse the full POPL paper archive.