Symbolic Loop Bound Computation for WCET Analysis

  title={Symbolic Loop Bound Computation for WCET Analysis},
  author={Jens Knoop and Laura Kov{\'a}cs and Jakob Zwirchmayr},
  booktitle={Ershov Memorial Conference},
We present an automatic method for computing tight upper bounds on the iteration number of special classes of program loops. These upper bounds are further used in the WCET analysis of programs. To do so, we refine program flows using SMT reasoning and rewrite multi-path loops into single-path ones. Single-path loops are further translated into a set of… CONTINUE READING

5 Figures & Tables



Citations per Year

51 Citations

Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.