×

r-TuBound

swMATH ID: 9722
Software Authors: Knoop, Jens; Kovács, Laura; Zwirchmayr, Jakob
Description: R-tubound: Loop bounds for WCET analysis. We describe the structure and the usage of a new software tool, called r-TuBound, for deriving symbolic loop iteration bounds in the worst-case execution time (WCET) analysis of programs. r-TuBound implements algorithms for pattern-based recurrence solving and program flow refinement, and it was successfully tested on a wide range of examples. The purpose of this article is to illustrate what r-TuBound can do and how it can be used to derive the WCET of programs.
Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-28717-6_34
Related Software: Smacc; STP; OTAWA; Stony Brook; KLEE; LLVM; lp_solve; Boolector; ABC
Cited in: 1 Publication

Citations by Year