Automatic Modular Abstractions for Template Numerical Constraints

DOI10.2168/LMCS-6(3:4)2010zbMath1191.68182MaRDI QIDQ3575308

David Monniaux

Publication date: 27 July 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

quantifier eliminationprogram analysisabstract interpretation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT ⋮ Sound Bit-Precise Numerical Domains ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Generalizing the Template Polyhedral Domain ⋮ Stratified Static Analysis Based on Variable Dependencies ⋮ View-Augmented Abstractions

Uses Software

• Mathematica
• Scilab
• BLAST
• z3
• Aspic
• Octagon
• ASTREE

This page was built for publication: Automatic Modular Abstractions for Template Numerical Constraints