Welcome!

video-placeholder
Loading...
Ver programa

Reseñas

4.2 (50 calificaciones)

  • 5 stars
    56 %
  • 4 stars
    26 %
  • 3 stars
    6 %
  • 2 stars
    6 %
  • 1 star
    6 %

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.

Impartido por:

  • Placeholder

    Anne Remke

    Prof. dr.

Explora nuestro catálogo

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