Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration
No abstract available.
Related papers
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration SAS 2015
- Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study CAV 2023
- Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization ECOOP 2018
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009
- Local Contextual Type Inference POPL 2026
- Lower-Bound Synthesis Using Loop Specialization and Max-SMT CAV 2021
- Accelerated Data-Flow Analysis SAS 2007