Theories, solvers and static analysis by abstract interpretation
From MaRDI portal
Publication:5395699
DOI10.1145/2395116.2395120zbMath1281.68156OpenAlexW2044110501MaRDI QIDQ5395699
Laurent Mauborgne, Patrick Cousot, Radhia Cousot
Publication date: 17 February 2014
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2395116.2395120
theorem provingstatic analysissemanticsabstract interpretationprogram verificationdecision proceduresSMT solverprogram logicsSAT modulo theory
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Abstract interpretation as automated deduction ⋮ Abstract Interpretation as Automated Deduction ⋮ Modular Constraint Solver Cooperation via Abstract Interpretation
Uses Software
This page was built for publication: Theories, solvers and static analysis by abstract interpretation
