Pages that link to "Item:Q5039502"
From MaRDI portal
The following pages link to A Calculus for Modular Loop Acceleration (Q5039502):
Displaying 4 items.
- Lower-bound synthesis using loop specialization and Max-SMT (Q832313) (← links)
- Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description) (Q2104557) (← links)
- Backward symbolic execution with loop folding (Q2145317) (← links)
- Transition power abstractions for deep counterexample detection (Q6535576) (← links)
