Ce cours est une introduction à l'utilisation des méthodes formelles pour l'analyse automatique des systèmes.
Les méthodes formelles sont des techniques basées sur logique mathématique, permettant de raisonner rigoureusement sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.