Narrowing operators on template abstract domains

DOI10.1007/978-3-319-19249-9_5zbMATH Open1427.68158OpenAlexW642452143MaRDI QIDQ5206948FDOQ5206948

Authors: Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari 

Publication date: 19 December 2019

Published in: FM 2015: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-19249-9_5

Recommendations

• Descending chains and narrowing on template abstract domains
• Widening and narrowing operators for abstract interpretation
• Static Analysis
• Abstract interpretation meets convex optimization
• Precise widening operators for convex polyhedra

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cites Work

• Combining Widening and Acceleration in Linear Relation Analysis
• The octagon abstract domain
• Computer Aided Verification
• Two variables per linear inequality as an abstract domain
• Verification, Model Checking, and Abstract Interpretation
• Title not available (Why is that?)
• Invariant generation through strategy iteration in succinctly represented control flow graphs

Cited In (4)

• Widening and narrowing operators for abstract interpretation
• Experimental evaluation of numerical domains for inferring ranges
• Enhancing top-down solving with widening and narrowing
• Descending chains and narrowing on template abstract domains

This page was built for publication: Narrowing operators on template abstract domains

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