Model checking and the Next operator

来自 EIT 数字 的课程
Quantitative Model Checking
18 评分
EIT 数字
18 评分
Probabilistic Computational Tree Logic
We discuss the syntax and semantics of Probabilistic Computational Tree logic and check out the model checking algorithms that are necessary to decide the validity of different kinds of PCTL formulas. We shortly discuss the complexity of PCTL model checking.


  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science