Thomas Sewell, Felix Kam, Gernot Heiser. Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016. pages 185-195, IEEE Computer Society, 2016. [doi]
Abstract is missing.