Welcome!

Loading...
EIT Digital
4.3 (29 notes) | 3.2K étudiants inscrits
Visualiser le programme de cours

Avis

4.3 (29 notes)
  • 5 stars
    18 ratings
  • 4 stars
    7 ratings
  • 2 stars
    2 ratings
  • 1 star
    2 ratings
À partir de la leçon
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.

Enseigné par

  • Anne Remke

    Anne Remke

    Prof. dr.

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.