Dissecting widening: separating termination from information

DOI10.1007/978-3-030-34175-6_6MaRDI QIDQ6536310zbMATH OpenFDO

Authors Graeme Gange, Jorge Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-34175-6_6

Mathematics Subject Classification ID

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

Recommendations

• A minimalistic look at widening operators
• Widening and narrowing operators for abstract interpretation
• Precise widening operators for convex polyhedra
• Static Analysis
• Widening with Thresholds for Programs with Complex Control Graphs

Cites work

• A survey on product operators in abstract interpretation
• Abstract Interpretation Frameworks
• An abstract domain of uninterpreted functions
• An accurate join for zonotopes, preserving affine input/output relations
• Guided Static Analysis
• scientific article; zbMATH DE number 1738295 (Why is no real title available?)
• Precise widening operators for convex polyhedra
• Widening Polyhedra with Landmarks
• Widening with Thresholds for Programs with Complex Control Graphs

Cited in

(2)

• Decoupling the ascending and descending phases in abstract interpretation
• Canonical forms and widening for two variables per inequality systems

This page was built for publication: Dissecting widening: separating termination from information

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