Tag : méthodes formelles
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 à 15h4168 messages
Dernière réponse
Lundi 02 octobre 2023 à 17h27
02/10/23 à 17h27
Découverte de la programmation certifiée avec Coq
Un outil pour écrire des programmes prouvés mathématiquement Par Aabu - Vendredi 01 janvier 2021 à 18h29 01/01/21 à 18h2910 messages
Dernière réponse
Lundi 29 mars 2021 à 14h29
29/03/21 à 14h29
Un zeste de mathématiques assistées par ordinateur
ou comment construire et vérifier des preuves automatiquement Par Aabu - Vendredi 10 avril 2020 à 00h05 10/04/20 à 00h058 messages
La recherche en méthodes formelles, pour les 30 années à venir
Résumé d'une présentation de Gilles Dowek, conférencier invité à NASA Formal Methods 2018 Par Ksass`Peuk - Mercredi 16 mai 2018 à 10h15 16/05/18 à 10h1513 messages
Dernière réponse
Samedi 19 mai 2018 à 16h39
19/05/18 à 16h39
Validation formelle d'une fonction informatique
Question à propos de Frama-C Par Karim DRIDI - Lundi 26 juin 2017 à 20h24 26/06/17 à 20h245 messages
Dernière réponse
Jeudi 29 juin 2017 à 10h19
29/06/17 à 10h19