TP4: Terminaison, correction partielle et totale, et récursion.
Exercice 7: Fonctions récursives: correction partielle, mais pas totale. Frama-C est également capable de démontrer la correction de fonctions récursives. 1 ...
Exercice 7: Fonctions récursives: correction partielle, mais pas totale. Frama-C est également capable de démontrer la correction de fonctions récursives. 1 ...