Model checking and the Next operator

Loading...
From the course by EIT Digital
Quantitative Model Checking
21 ratings
EIT Digital
21 ratings
From the lesson
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.

Meet the Instructors

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.