Static Analysis via Horn Encoding from synchronous Dataflow Programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Technique) Année : 2017

Static Analysis via Horn Encoding from synchronous Dataflow Programs

Analyse statique de propriétés de programmes Lustre via un encodage vers des Clauses de Horn

Résumé

In this technical report we dene an encoding from Lustre programs to Array Horn Clauses.
Dans ce rapport nous étudions l'analyse statique de programmes Lustre via un encodage vers des clauses de Horn à Tableaux.

Domaines

Informatique et langage [cs.CL] Algorithme et structure de données [cs.DS] Systèmes embarqués
Fichier principal
Vignette du fichier
RR-0492-lustrearray.pdf (819.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Laure Gonnord  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01614637

Soumis le : mercredi 11 octobre 2017-10:46:39

Dernière modification le : jeudi 11 mai 2023-11:56:10

Télécharger pour visualiser

Dates et versions

hal-01614637 , version 1 (11-10-2017)

Identifiants

  • HAL Id : hal-01614637 , version 1

Citer

Laure Gonnord, Szabolcs-Marton Bagoly, Lionel Morel. Static Analysis via Horn Encoding from synchronous Dataflow Programs. [Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25. ⟨hal-01614637⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INSA-LYON INRIA-RRRT INRIA2 LARA INSA-GROUPE UDL
227 Consultations
249 Téléchargements

Partager

Gmail Facebook X LinkedIn More