Dissecting widening: separating termination from information

DOI10.1007/978-3-030-34175-6_6zbMath1542.68033MaRDI QIDQ6536310

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

Publication date: 19 April 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Precise widening operators for convex polyhedra
• An Abstract Domain of Uninterpreted Functions
• Widening with Thresholds for Programs with Complex Control Graphs
• Guided Static Analysis
• An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations
• Abstract Interpretation Frameworks
• Widening Polyhedra with Landmarks

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