Pages that link to "Item:Q5408447"
From MaRDI portal
The following pages link to Abstract acceleration of general linear loops (Q5408447):
Displaying 8 items.
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Backward symbolic execution with loop folding (Q2145317) (← links)
- Lower Runtime Bounds for Integer Programs (Q2817952) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- A Calculus for Modular Loop Acceleration (Q5039502) (← links)
- (Q5092319) (← links)
- Invariant relations for affine loops (Q6592111) (← links)