Mathematical Problems in Engineering

Research Article

Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation

Figure 2

Approximate bisimulation for the nondeterministic branches of a software program.
421926.fig.002