Model Checking CTL

Loading...
En provenance du cours de EIT Digital
Quantitative Model Checking
23 notes
EIT Digital
23 notes
À 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.

Rencontrer les enseignants

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Explorer notre catalogue

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