Pages that link to "Item:Q2814110"
From MaRDI portal
The following pages link to Extending abstract acceleration methods to data-flow programs with numerical inputs (Q2814110):
Displaying 5 items.
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Sound Numerical Computations in Abstract Acceleration (Q5086230) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)