The following pages link to Apron (Q12818):
Displaying 24 items.
- (Q3415789) (← links)
- (Q3506989) (← links)
- Behavioral Cartography of Timed Automata (Q3584962) (← links)
- (Q3596870) (← links)
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs (Q3600463) (← links)
- An Abstract Domain to Discover Interval Linear Equalities (Q3656879) (← links)
- The Estimation of Integral Seepage Characteristics of Hydraulic Structures in Terms of the Theory of Inverse Boundary-Value Problems (Q4031710) (← links)
- (Q4387260) (← links)
- (Q4396323) (← links)
- Deriving Numerical Abstract Domains via Principal Component Analysis (Q4930722) (← links)
- Automatic Verification of Determinism for Structured Parallel Programs (Q4930747) (← links)
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)
- Formalizing the Face Lattice of Polyhedra (Q5049001) (← links)
- Compact Difference Bound Matrices (Q5056006) (← links)
- (Q5094138) (← links)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174) (← links)
- Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)
- Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming (Q5233243) (← links)
- Automation of Quantitative Information-Flow Analysis (Q5300883) (← links)
- Fast polyhedra abstract domain (Q5370845) (← links)
- Automatically Refining Abstract Interpretations (Q5458344) (← links)
- Response of velocity and turbulence in submerged wall jets to abrupt changes from smooth to rough beds and its application to scour downstream of an apron (Q5481462) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
