Messages postés par "Karim DRIDI"

Sujet	Date	Extrait
Validation formelle d'une fonction informatique Question à propos de Frama-C	mercredi 28 juin 2017 à 19h43	En rajoutant quelque chose du genre : ```c /@ ensures \forall size_t off ; 0 <= off < \result => array[off] != element; / ``` Est-ce suffisant ?
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…