Pages that link to "Item:Q5898613"

The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898613):

Displaying 12 items.

• Abstract interpretation meets convex optimization (Q435969) (← links)
• Tropical linear-fractional programming and parametric mean payoff games (Q435971) (← links)
• The two variable per inequality abstract domain (Q656848) (← links)
• Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
• Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
• Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
• Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
• On the efficiency of convex polyhedra (Q2130564) (← links)
• A Note on the Inversion Join for Polyhedral Analysis (Q2814111) (← links)
• Finding Relevant Templates via the Principal Component Analysis (Q2961584) (← links)
• Generalizing the Template Polyhedral Domain (Q3000579) (← links)
• The Abstract Domain of Parallelotopes (Q5170166) (← links)