Symbolic Loop Bound Computation for WCET Analysis

@inproceedings{Knoop2011SymbolicLB,
  title={Symbolic Loop Bound Computation for WCET Analysis},
  author={Jens Knoop and Laura Kov{\'a}cs and Jakob Zwirchmayr},
  booktitle={Ershov Memorial Conference},
  year={2011}
}
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

Topics

Statistics

051020112012201320142015201620172018
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.