Modular verification of code with SAT.

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson

Browse the full ISSTA paper archive.