Scot Anderson Peter Z. Revesz CDB-PV: A Constraint Database-Based Program Verifier. 35-49 2007 conf/sara/2007 SARA http://dx.doi.org/10.1007/978-3-540-73580-9_6 db/conf/sara/sara2007.html#AndersonR07