Welcome!

Loading...
Visualizar o programa do curso

Avaliações

4.3 (29 classificações)
  • 5 stars
    18 ratings
  • 4 stars
    7 ratings
  • 2 stars
    2 ratings
  • 1 star
    2 ratings
Na lição
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.

Ministrado por

  • Anne Remke

    Anne Remke

    Prof. dr.

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.