Model Checking CTL

Loading...
Eye
EIT Digital
4.3 (29 ratings) | 3.3K Students Enrolled
View Syllabus

Reviews

4.3 (29 ratings)
  • 5 stars
    18 ratings
  • 4 stars
    7 ratings
  • 2 stars
    2 ratings
  • 1 star
    2 ratings
From the lesson
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.

Taught By

  • Anne Remke

    Anne Remke

    Prof. dr.

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.