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. dans Programmation et algorithmique et Autres (informatique) Lundi 22 mai 2017 à 18h24 22/05/17 à 18h24 par Ksass`Peuk c méthodes formelles preuve déductive