Linear Absolute Value Relation Analysis

DOI10.1007/978-3-642-19718-5_9zbMath1326.68086OpenAlexW1809395325MaRDI QIDQ3000578

Patrick Cousot, Ji Wang, Antoine Miné, Liqian Chen

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19718-5_9

Mathematics Subject Classification ID

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

Related Items (1)

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT

Uses Software

• Apron
• gmp

Cites Work

• The octagon abstract domain
• Optimal domains for disjunctive abstract interpretation
• Two Variables per Linear Inequality as an Abstract Domain
• Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
• A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
• Inferring Min and Max Invariants Using Max-Plus Polyhedra
• Splitting the Control Flow with Boolean Flags
• SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
• Static Analysis in Disjunctive Numerical Domains
• Canonical piecewise-linear representation
• Static analysis of arithmetical congruences
• The Extended Linear Complementarity Problem
• Systematic design of program transformation frameworks by abstract interpretation
• Programming Languages and Systems
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item
• Unnamed Item

This page was built for publication: Linear Absolute Value Relation Analysis