Modular verification of code with SAT.

Greg Dennis Felix Sheng-Ho Chang Daniel Jackson Modular verification of code with SAT. 109-120 2006 conf/issta/2006 ISSTA http://doi.acm.org/10.1145/1146238.1146251 db/conf/issta/issta2006.html#DennisCJ06