Le premier projet consistait à modéliser un système de maintien de respiration artificiel sous forme d'automate temporisé et de vérifier que certaines propriétés RT jugées vitales soient respectées. L'outil utilisé pour ce projet est UPPAAL
Le second projet avait pour but de modéliser un système IRC composé d'un serveur et d'un ensemble de clients. Le système est modélisé par un réseau de Pétri coloré grace à l'outil CPNTools
