Introduction

Loading...
Del curso dictado por EIT Digital
Quantitative Model Checking
23 calificaciones
EIT Digital
23 calificaciones
De la lección
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.

Conoce a los instructores

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Explora nuestro catálogo

Inscríbete de manera gratuita y obtén recomendaciones personalizadas, actualizaciones y ofertas.