Initiation à la vérification / Basics of verification

Paul Gastin

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

Supports de cours / Lecture notes

The main web page for this lecture is here.

2009/2010

• Lecture notes
• Test 1: Examination questions and solutions

À propos du LSV

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

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