Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis.

Thomas Sewell, Felix Kam, Gernot Heiser

Browse the full RTAS paper archive.