Tag : preuve déductive

[Fermé]

Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. Par Ksass`Peuk - Vendredi 06 janvier 2017 à 15h41 06/01/17 à 15h41

65 messages

Dernière réponse
Lundi 07 septembre 2020 à 19h22 07/09/20 à 19h22
par Ksass`Peuk