Sujets créés par Karim DRIDI
| Sujet | Date | Extrait |
|---|---|---|
|
Validation formelle d'une fonction informatique
Question à propos de Frama-C |
lundi 26 juin 2017 à 20h24 | Bonjour, À la lecture de ce long article et en particulier le chapitre [Les boucles - Exemples](https://zestedesavoir.com/tutoriels/885/introduction-a-la-preuve-de-programmes-c-avec-frama-c-et-son… |