Une couverture Combinant Tests et Preuves pour la Vérification Formelle

Objets et Objectifs de vérification Méthode de vérification et Couverture Mutation Mutant de code et de spécification Priorité des témoins Matrice de couverture Conclusion Cas d’étude Norme DO-178 Appel de fonctions