Lifting CDCL to Template−Based Abstract Domains for Program Verification
Rajdeep Mukherjee‚ Peter Schrammel‚ Leopold Haller‚ Daniel Kroening and Tom Melham
Book Title
Automated Technology for Verification and Analysis: 15th International Symposium‚ ATVA 2017‚ Pune‚ India‚ October 3−6‚ 2017‚ Proceedings
Editor
Deepak D'Souza and K. Narayan Kumar
ISBN
978−3−319−68166−5
ISSN
0302−9743
Pages
307–326
Publisher
Springer‚ Cham
Series
Lecture Notes in Computer Science
Volume
10482
Year
2017