Sumários
P02 - Exercises on CTL
24 novembro 2020, 15:00 • Paulo Alexandre Carreira Mateus
CTL exercises. CTL operators and fixpoints. Enriching CTL with new modalities using fixpoints.
Lecture 14: Lattices, fixpoints
19 novembro 2020, 14:00 • Paulo Alexandre Carreira Mateus
Complete Lattices. Greatest and least fixpoints. The lattice of fixed points. Tarski fixpoint theorem.
Lecture 12 - Model Checking CTL with fairness
17 novembro 2020, 15:00 • Paulo Alexandre Carreira Mateus
Model Checking in CTL with fairness. Model-checking with Strong a weak fairness. Complexity.
Lecture 13. Model checking CTL 2.
12 novembro 2020, 14:00 • Paulo Alexandre Carreira Mateus
Conclusion of the previous class.
Lecture 12 - Model Checking CTL
10 novembro 2020, 15:00 • Paulo Alexandre Carreira Mateus
Model Checking in CTL. Characterization of Sat. Tarski fixpoint theorem and CTL formulas as fixed points. Algorithm for CTL model check.