Master 1 Informatique ? PEP Frama-C / WP / Value Analysis
Exercice WP0. Nous allons spécifier et prouver les fichiers ex0a.c, ex0b.c et ... Donnez le programme corrigé et expliquez la correction. Question4. Conclusion ...
Exercice WP0. Nous allons spécifier et prouver les fichiers ex0a.c, ex0b.c et ... Donnez le programme corrigé et expliquez la correction. Question4. Conclusion ...