Towards Light-Weight Probabilistic Model Checking

Figure 1

Standard approach for probabilistic model checking.