Table of Contents
## Basics of Verification (60h, 7 ECTS)In charge: Stefan Schwoon (LSV, ENS Cachan). ## Lecturers in 2020—2021## Language
The default language is French. ## Motivations and main objectives
Nowadays, it is of the highest importance to use formal methods in order to increase the reliability of critical systems.
## Detailed description and Lecture notes (this year)The first lecture will start on Friday 18/09 at 10am.
## Detailed description and Lecture notes (last year)
## ExamsMid-term exam 2019-2020: questions and answers Previous years's questions for mid-term exams: 2018-2019 2017-2018 2016-2017 questions, 2016-2017 with answers, 2015-2016, 2014-2015. ## Prerequisites
Finite Automata ## Related courses## Bibliography- Ph. Schnoebelen. The Complexity of Temporal Logic Model Checking. In AiML’02, pages 393-436. King’s College Publication, 2003. Invited paper.
- Principles of Model Checking. Christel Baier and Joost-Pieter Katoen. MIT Press, 2008.
- Systems and Software Verification. Model-Checking Techniques and Tools. B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen. Springer, 2001.
Also available in french: Vérification de logiciels : Techniques et outils du model checking. Coordonné par Ph. Schnoebelen. Vuibert, 1999. - Model Checking. E.M. Clarke, O. Grumberg, D. Peled. MIT Press, 1999.
- Temporal Verification of Reactive Systems - Safety. Zohar Manna and Amir Pnueli. Springer-Verlag, 1995.
- The Temporal Logic of Reactive and Concurrent Systems - Specification. Zohar Manna and Amir Pnueli. Springer-Verlag, 1992.
## Teachers
## Previous Years |