Introduction

Loading...
From the course by EIT 数字
Quantitative Model Checking
20 ratings
EIT 数字
20 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.

Meet the Instructors

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Explore our Catalog

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