Robustness Analysis of Floating-Point Programs by Self-Composition

Figure 5

Transformed self-composition of the min_plus1 program for robustness analysis.