Narrowing Operators on Template Abstract Domains
From MaRDI portal
Publication:5206948
DOI10.1007/978-3-319-19249-9_5zbMath1427.68158OpenAlexW642452143MaRDI QIDQ5206948
Gianluca Amato, Maria Chiara Meo, Simone Di Nardo Di Maio, 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
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Cites Work
- Unnamed Item
- The octagon abstract domain
- Two Variables per Linear Inequality as an Abstract Domain
- Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
- Combining Widening and Acceleration in Linear Relation Analysis
- Verification, Model Checking, and Abstract Interpretation
- Computer Aided Verification
This page was built for publication: Narrowing Operators on Template Abstract Domains