Welcome!

Loading...
来自 EIT Digital 的课程
Quantitative Model Checking
23 个评分
EIT Digital
23 个评分
从本节课中
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

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。