Static Analysis in Disjunctive Numerical Domains

DOI10.1007/11823230_2MaRDI QIDQ3613374zbMATH OpenOpenAlexFDO

Authors Sriram Sankaranarayanan, Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta

Publication date 12 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11823230_2

Mathematics Subject Classification ID

Computer aspects of numerical algorithms (65Y99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms (68W40)

Recommendations

• Volume-based merge heuristics for disjunctive numeric domains
• Fast polyhedra abstract domain
• scientific article; zbMATH DE number 1746686
• Non-disjunctive Numerical Domain for Array Predicate Abstraction
• Boxes: A Symbolic Abstract Domain of Boxes

Cited in

(17)

• Backward symbolic execution with loop folding
• Algebraic power analysis by abstract interpretation
• Quadtrees as an abstract domain
• Sound bit-precise numerical domains
• Linear absolute value relation analysis
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• Inferring Min and Max Invariants Using Max-Plus Polyhedra
• Splitting the Control Flow with Boolean Flags
• Reachability analysis for timed automata using max-plus algebra
• scientific article; zbMATH DE number 1746686 (Why is no real title available?)
• Sweeping in Abstract Interpretation
• Type-based amortized resource analysis with integers and arrays
• An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
• Non-disjunctive Numerical Domain for Array Predicate Abstraction
• Volume-based merge heuristics for disjunctive numeric domains
• An integer static analysis for better extrapolation in Uppaal
• Efficient SAT-based bounded model checking for software verification

Describes a project that uses

Uses Software

• PPL
• CSSV
• ASTREE

This page was built for publication: Static Analysis in Disjunctive Numerical Domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613374)