Preuve, analyse statique et vérification runtime

Preuve, analyse statique et vérification runtime

? Vérification formelle : Preuve ou model-checking d'un modèle formel, ... pas pour objectif de corriger les fautes. Il est impossible de créer un test qui puisse ...