Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.

Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Bjrn Lisper

Browse the full RTSS paper archive.