Contribution à la vérification de programmes C par combinaison de tests et de preuves.
par Cécile le 10/01/2018En suivant le lien ci-dessous, vous trouverez une thèse qui porte sur le test des programmes C.
Une méthode de diagnostic automatique des échecs de preuve est proposée.