Precise widening operators for convex polyhedra
From MaRDI portal
Publication:2568443
DOI10.1016/j.scico.2005.02.003zbMath1088.68173OpenAlexW4212935551MaRDI QIDQ2568443
Roberto Bagnara, Enea Zaffanella, Elisa Ricci, Patricia M. Hill
Publication date: 10 October 2005
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2005.02.003
Related Items
Efficient constraint/generator removal from double description of polyhedra, Experimental evaluation of numerical domains for inferring ranges, An integer static analysis for better extrapolation in Uppaal, A program analysis framework for \textit{tccp} based on abstract interpretation, Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness, Abstract Interpretation with Applications to Timing Validation, Decoupling the ascending and descending phases in abstract interpretation, PPLite: zero-overhead encoding of NNC polyhedra, Stratified Static Analysis Based on Variable Dependencies, Abstract Analysis of Universal Properties for tccp, A new look at the automatic synthesis of linear ranking functions, Widening and narrowing operators for abstract interpretation, Enforcing termination of interprocedural analysis, Acceleration in Convex Data-Flow Analysis, Applications of polyhedral computations to the analysis and verification of hardware and software systems