Semantics of CTL

来自 EIT 数字 的课程
Quantitative Model Checking
18 评分
EIT 数字
18 评分
Module 1: Computational Tree Logic
We introduce Labeled Transition Systems (LTS), the syntax and semantics of Computational Tree Logic (CTL) and discuss the model checking algorithms that are necessary to compute the satisfaction set for specific CTL formulas.


  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science