L'informatique théorique est un domaine assez vaste, nous nous focaliserons sur la vérification d'une propriété appelée model-checking. Le model-checking est une technique de vérification de systèmes à états finis ou infinis tels que les protocoles de communication...