La vérification est une procédure qui vise à assurer le bon fonctionnement d’un système, en général automatisé et critique, en garantissant qu’il vérifie certaines propriétés. De nos jours, les systèmes automatisés sont ...