La validation des systèmes est un domaine qui étudie les principes fondamentaux de la communication des systèmes et du traitement de l'information. Elle permet une analyse automatisée basée sur des modèles comportementaux d'un système afin de déterminer si ce dernier fonctionne correctement. Nous voulons garantir que les systèmes font exactement ce qu'ils sont censés faire. Les techniques mises en avant dans la validation des systèmes permettent de prouver l'absence d'erreurs. Elles permettent de concevoir un comportement de système intégré qui est structurellement sain et, par effet secondaire, vous obligent à rendre le comportement simple et perspicace. Cela signifie que les systèmes ne se comportent pas seulement correctement, mais qu'ils sont aussi beaucoup plus faciles à maintenir et à adapter. exigences par formules modales" est le troisième cours qui vous montre comment spécifier des exigences pour les automates afin d'établir la relation correcte entre les exigences et le comportement du système. Lecture de l'ouvrage. J.F. Groote et M.R. Mousavi. Modélisation et analyse des systèmes communicants. The MIT Press, 2014.