Informations sur les cours de P. Wolper



La deuxième partie introduit la méthode des invariants et des assertions inductives. On étudie des techniques permettant de construire des invariants et des techniques permettant de les valider. On s'intéresse spécialement aux outils permettant d'automatiser en partie le processus de vérification, et au cas particulier fréquent où la majorité des variables du système à vérifier sont booléennes.

 

Pierre.Wolper@ulg.ac.be
15/09/2014