1 Généralités
2 Introduction : pourquoi des programmes parallèles ?
3 La synchronisation par variables partagées
4 La synchronisation par la communication
5 Vérification de propriétés des systèmes informatiques (répartis)
6 Logiques temporelles, vérifications sur modèle
7 Vérifications temporelles et vérifications temporisées
8 Conclusion
9 Bibliographie
- Manager: Pierre-emmanuel Hladik