The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Knowing the boundaries of loops is an important prerequisite for both, static and dynamic worst case execution time (WCET) analysis. However, loop bound calculation is a complex task of its own, and often more effort than planned has to be put into it. This paper describes a simple and quick method for loop bound calculation using a model checker that cannot only find loop bounds for integer iterator variables but works with practically all kind of loops.
@misc{rieder2008using,
title = {Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis},
author = {Bernhard Rieder and Peter P. Puschner and Ingomar Wenzel},
year = {2008},
pages = {1--7},
doi = {10.1109/wises.2008.4623310},
}