The reduced product of abstract domains and the combination of decision procedures

DOI10.1007/978-3-642-19805-2_31MaRDI QIDQ3000629zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

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

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

Describes a project that uses

Uses Software

• ASTREE

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)