Model Checking CTL

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

探索我們的目錄

免費加入並獲得個性化推薦、更新和優惠。