Les méthodes formelles - État de l'art

Abstract

Les méthodes formelles sont des méthodes de vérification qui sont maintenant très largement acceptées comme des méthodes complémentaires aux techniques traditionnelles comme la revue de code ou l’utilisation de tests. Cette présentation est une introduction à la vérification de systèmes en utilisant des méthodes formelles. L’objectif est de présenter les principes théoriques de différents domaines comme l’interprétation abstraite, les méthodes déductives, le model-checking et les assistants de preuve.

Baptiste Pollien, PhD

Software Engineer HMI

I am a Software Engineer HMI at Ampere Software Technology.