Skip to main content

Lifting CDCL to Template−Based Abstract Domains for Program Verification

Rajdeep Mukherjee‚ Peter Schrammel‚ Leopold Haller‚ Daniel Kroening and Tom Melham

Journal
arXiv Computing Research Repository
Month
July
Volume
arXiv:1707.02011 [cs.LO]
Year
2017