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 Document Cited by 3 Authors 1 Knoop, Jens 1 Kovács, Laura Ildikó 1 Zwirchmayr, Jakob Cited in 1 Serial 1 Journal of Symbolic Computation Cited in 1 Field 1 Computer science (68-XX) Citations by Year