Lifting CDCL to Template-Based Abstract Domains for Program Verification

DOI10.1007/978-3-319-68167-2_21zbMath1495.68139arXiv1707.02011OpenAlexW2732529469MaRDI QIDQ5096092

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

Publication date: 12 August 2022

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.02011

Mathematics Subject Classification ID

Computational learning theory (68Q32) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Information Exchange Between Over- and Underapproximating Software Analyses

This page was built for publication: Lifting CDCL to Template-Based Abstract Domains for Program Verification