Ce projet vise à modéliser, analyser et construire correctement des systèmes basés sur l'Internet des Objets (IoT) en utilisant la méthode Event-B. Il permet de garantir la correction et la fiabilité des systèmes IoT grâce à des techniques de vérification formelle, offrant ainsi une base solide pour le développement de solutions IoT robustes et sécurisées.