INFO0060 - Concurrent systems verification

General information

Transparencies

The transparencies used for the third part of the course (Analysis of infinite-state systems) are available here.