The Reduced Product of Abstract Domains and the Combination of Decision Procedures

DOI10.1007/978-3-642-19805-2_31zbMath1326.68089OpenAlexW1546878666MaRDI QIDQ3000629

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

Related Items (3)

Automatic synthesis of logical models for order-sorted first-order theories ⋮ Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT ⋮ Deciding floating-point logic with abstract conflict driven clause learning

Uses Software

• ASTREE

This page was built for publication: The Reduced Product of Abstract Domains and the Combination of Decision Procedures