Pages that link to "Item:Q2568443"

The following pages link to Precise widening operators for convex polyhedra (Q2568443):

Displaying 14 items.

• Efficient constraint/generator removal from double description of polyhedra (Q281283) (← links)
• A new look at the automatic synthesis of linear ranking functions (Q714505) (← links)
• An integer static analysis for better extrapolation in Uppaal (Q832038) (← links)
• Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
• Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
• Experimental evaluation of numerical domains for inferring ranges (Q2130561) (← links)
• PPLite: zero-overhead encoding of NNC polyhedra (Q2216124) (← links)
• Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
• A program analysis framework for \textit{tccp} based on abstract interpretation (Q2628304) (← links)
• Abstract Interpretation with Applications to Timing Validation (Q3512479) (← links)
• Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)
• Acceleration in Convex Data-Flow Analysis (Q5458862) (← links)
• Abstract Analysis of Universal Properties for tccp (Q5743591) (← links)
• Enforcing termination of interprocedural analysis (Q5915716) (← links)