Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Assalé Adjé
  • Fonction : Auteur
LAboratoire de Modélisation Pluridisciplinaire et Simulations
Pierre-Loïc Garoche
ONERA - The French Aerospace Lab [Toulouse]
CV
Victor Magron
VERIMAG

Domaines

Informatique [cs]

Joelle Sulian  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01371514

Soumis le : lundi 26 septembre 2016-10:32:41

Dernière modification le : jeudi 4 avril 2024-21:24:55

Fichier non déposé

Dates et versions

hal-01371514 , version 1 (26-09-2016)

Identifiants

  • HAL Id : hal-01371514 , version 1

Citer

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116. ⟨hal-01371514⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA ONERA IMAG CNRS UNIV-PERP VERIMAG LAMPS
99 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More