Lifting CDCL to Template-Based Abstract Domains for Program Verification.

Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham

Browse the full ATVA paper archive.