Towards Light-Weight Probabilistic Model Checking

Figure 2

A light-weight approach for probabilistic model checking.