Semantics of 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

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

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