Chenna, Abdelbassette
(Université Larbi-Tébessi.Tebessa, 2015-02-12)
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 ...