The Always Operator

Loading...
Del curso dictado por EIT Digital
Quantitative Model Checking
20 ratings
EIT Digital
20 ratings
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.