Narrowing operators on template abstract domains

DOI10.1007/978-3-319-19249-9_5MaRDI QIDQ5206948zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• Combining Widening and Acceleration in Linear Relation Analysis
• Computer Aided Verification
• Invariant generation through strategy iteration in succinctly represented control flow graphs
• The octagon abstract domain
• Two variables per linear inequality as an abstract domain
• Verification, Model Checking, and Abstract Interpretation

Cited in

(5)

• Experimental evaluation of numerical domains for inferring ranges
• Enhancing top-down solving with widening and narrowing
• Decoupling the ascending and descending phases in abstract interpretation
• Widening and narrowing operators for abstract interpretation
• 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)