Algèbre linéaire pour invariants polynomiaux - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Algèbre linéaire pour invariants polynomiaux

Saddek Bensalem
Virgile Prévosto

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.
Fichier principal
Vignette du fichier
main.pdf (162.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01391490 , version 1 (03-11-2016)

Identifiants

  • HAL Id : hal-01391490 , version 1

Citer

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. pp.61. ⟨hal-01391490⟩
144 Consultations
87 Téléchargements

Partager

Gmail Facebook X LinkedIn More