Welcome!

Loading...
Просмотреть программу курса

Рецензии

4.2 (оценок: 33)
  • 5 stars
    55%
  • 4 stars
    30%
  • 2 stars
    6%
  • 1 star
    9%
Из урока
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.

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

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