Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel. Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis. In International Workshop on Intelligent Solutions in Embedded Systems, WISES 2008, Regensburg, Germany, July 10-11, 2008. pages 1-7, IEEE, 2008. [doi]
Abstract is missing.