| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4945992 | Journal of Symbolic Computation | 2017 | 29 Pages |
Abstract
We implemented our approach in the r-TuBound WCET toolchain and tested it on challenging benchmarks from the WCET community. Our experimental results underline the advantage of using symbolic methods for proving WCET bounds precise, at a moderate cost.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Jens Knoop, Laura Kovács, Jakob Zwirchmayr,