L’objectif de ce cours est d’introduire l’étudiant au domaine de la validation et la vérification formelle des systèmes distribués. Les approches de vérification formelle développées sont l’approche logique, l’approche par bissimulation et l’approche de test formel.