Site officiel du LSV

Initiation à la vérification / Basics of verification

Paul Gastin

Supports de cours / Lecture notes

The main web page for this lecture is here.

2011/2012

• Slides of all lectures
• Slides of lecture 1, lecture 2 and 3, lecture 4, lecture 5

2010/2011

• Lecture notes: handout or display
• Midterm exam
• Slides of lecture 1, lecture 2, lecture 3, lecture 4, lecture 5

2009/2010

• Lecture notes
• Midterm exam: questions and solutions

Stages de recherche / Research internships

2009/2010

1. Synthesis of Distributed Real-Time Systems
2. Dynamic Communicating Automata
3. Quantitative versus Probabilistic Logics
4. Temporal Logic for Concurrent Recursive Programs
5. Quantitative properties of trees. Application to XML query languages

À propos du LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique