Why Model Checking Can Improve WCET Analysis
No abstract available.
Related papers
- Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone VMCAI 2004
- Path-Sensitive Abstract Interpretation for WCET Estimation PLDI 2026
- WCET-aware static locking of instruction caches CGO 2012
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009
- Strictness Optimization for Graph Reduction Machines (Why id Might Not Be Strict) TOPLAS 1994
- Understanding and improving model-driven IoT systems through accompanying digital twins GPCE 2021
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work ICFP 2004
- A type system equivalent to a model checker TOPLAS 2008