Algèbre linéaire pour invariants polynomiaux

Steven De Oliveira 1 Saddek Bensalem 2 Virgile Prévosto 1
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Résumé : Nous présentons dans ce papier une nouvelle technique de génération d'invariants dans le contexte d'un certain type de boucles polynomiales. Notre méthode a l'avantage d'être plus rapide que les méthodes existantes pour des boucles équivalentes et plus simple à implanter car elle repose sur des algorithmes d'algèbre linéaire de complexité polynomiale. Un outil implémentant cette méthode est en cours de développement dans Frama-C, une plate-forme open-source, extensible et collaborative dédiée à l'analyse de programmes C.
Type de document :
Communication dans un congrès
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. 15, pp.61, 2016, Actes des 15emes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels. 〈http://afadl2016.conf.citi-lab.fr/〉
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01391490
Contributeur : Steven De Oliveira <>
Soumis le : jeudi 3 novembre 2016 - 14:02:38
Dernière modification le : lundi 24 septembre 2018 - 11:34:02
Document(s) archivé(s) le : samedi 4 février 2017 - 13:57:19

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01391490, version 1

Collections

Citation

Steven De Oliveira, Saddek Bensalem, Virgile Prévosto. Algèbre linéaire pour invariants polynomiaux. 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. 15, pp.61, 2016, Actes des 15emes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels. 〈http://afadl2016.conf.citi-lab.fr/〉. 〈hal-01391490〉

Partager

Métriques

Consultations de la notice

207

Téléchargements de fichiers

64