The course aims at providing a systematic account of computer science methods, formalisms, and algorithms for the formal specification and automatic verification/validation of complex reactive systems. The student will learn how to master advanced formal tools (logic, automata theory, logical game theory) to be used for the analysis and the automatic verification of complex systems. See also this link.
Lesson 1: 24/04/2025 (10:30 - 12:30) 2 hour
Description: Introduction to temporal logics. Main parameters of temporal logics. Introduction to Linear Temporal Logic (LTL). Examples. Syntax of LTL.
Slides: