collaborators

1 paper

cs.LO2017

Lifting CDCL to Template-based Abstract Domains for Program Verification

Rajdeep Mukherjee, Peter Schrammel, Leopold Haller +2

The success of Conflict Driven Clause Learning (CDCL) for Boolean satisfiability has inspired adoption in other domains. We present a novel lifting of CDCL to program analysis call…