Gagnez sur tous les tableaux

Genestier, Richard
Giorgetti, Alain
Petiot, Guiillaume

Publication date

January 2015

Publisher

HAL CCSD

Abstract

International audience<b&gt</b&gtNous vérifions automatiquement des programmes impératifs d'énumération de structures combinatoires implantées dans des tableaux satisfaisant certaines propriétés structurelles. Ces programmes C sont spécifiés en ACSL et vérifiés avec la plateforme Frama-C. La vérification déductive démontre automatiquement que tous les tableaux produits ont les propriétés attendues. Elle est facilitée par sa combinaison avec des analyses dynamiques, qui permettent aussi de valider d'autres propriétés des programmes, comme leur complétude. Nous proposons une bibliothèque de programmes vérifiés et des patrons de programmation et de spécification facilitant leur conception et leur mise au point. Ces programmes trouvent une app...

Extracted data

We use cookies to provide a better user experience.

Data Protection

Gagnez sur tous les tableaux

Abstract

Extracted data

Gagnez sur tous les tableaux

Abstract

Extracted data

Related items

Related items