Pages that link to "Item:Q5898628"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898628):
Displaying 19 items.
- Discovering invariants via simple component analysis (Q435979) (← links)
- The two variable per inequality abstract domain (Q656848) (← links)
- Why does Astrée scale up? (Q845249) (← links)
- A minimalistic look at widening operators (Q848744) (← links)
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra (Q1739912) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- View-Augmented Abstractions (Q2814101) (← links)
- A Note on the Inversion Join for Polyhedral Analysis (Q2814111) (← links)
- Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra (Q2945626) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (Q3392932) (← links)
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071) (← links)
- Polynomial Precise Interval Analysis Revisited (Q3644736) (← links)
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174) (← links)
- Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
- Context-sensitive meta-constraint systems for explainable program analysis (Q6536146) (← links)
