L'objectif de ce module est d'introduire les concepts clés liés à la vérification formelle des systèmes logiciels et matériels.
Ce module présente la vérification des systèmes monolithiques et multi-agents. Les aspects suivants sont abordés :
- Introduction et rôle de la vérification dans le processus de développement.
- Modélisation des systèmes monolithiques et multi-agents.
- Logiques temporelles et stratégiques pour exprimer des propriétés vérifiables.
- Vérification par Model Checking.
- Enseignant responsable de l'UE: Vadim Malvone