论文部分内容阅读
Probabilistic model checking hasbeen widely applied to quantitative analy-sis of stochastic systems, e.g., analyzing theperformance, reliability and survivability ofcomputer and communication systems. In thispaper, we extend the application of probabi-lis