The reduced product of abstract domains and the combination of decision procedures
DOI10.1007/978-3-642-19805-2_31zbMATH Open1326.68089OpenAlexW1546878666MaRDI QIDQ3000629FDOQ3000629
Authors: Patrick Cousot, Radhia Cousot, Laurent Mauborgne 
Publication date: 19 May 2011
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_31
Recommendations
- Theories, solvers and static analysis by abstract interpretation
- Reduced product combination of abstract domains for shapes
- Combinations of abstract domains for logic programming: Open product and generic pattern construction
- Design of abstract domains using first-order logic
- Modularly combining numeric abstract domains with points-to analysis, and a scalable static numeric analyzer for Java
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Cited In (6)
- Automatic synthesis of logical models for order-sorted first-order theories
- Reduced product combination of abstract domains for shapes
- Block-wise abstract interpretation by combining abstract domains with SMT
- Deciding floating-point logic with abstract conflict driven clause learning
- Generic combination of heap and value analyses in abstract interpretation
- Theories, solvers and static analysis by abstract interpretation
Uses Software
This page was built for publication: The reduced product of abstract domains and the combination of decision procedures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000629)
