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

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

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)

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

Describes a project that uses

Uses Software

• ASTREE
• CSSV
• PPL

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)