Algèbre linéaire pour invariants polynomiaux - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Algèbre linéaire pour invariants polynomiaux

Saddek Bensalem
Virgile Prévosto

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01391490 , version 1

Cite

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⟩
140 View
69 Download

Share

Gmail Facebook Twitter LinkedIn More