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
LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST
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 : jeudi 11 janvier 2018 - 06:14:33
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

145

Téléchargements de fichiers

55