Here are some examples of using Bound-T to bound the worst-case execution time (WCET) of real-time programs.

Tiny program

This is a small, nonsense C program that is constructed to show the main features (and limitations) of Bound-T in a compact form.

It is the same example as in the brochure (pdf).