Research Article

Quantitative Analysis of Software Approximate Correctness

Figure 3

An example of parameterized bisimulation index.