Static Analysis via Horn Encoding from synchronous Dataflow Programs - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Technical Report) Year : 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

Abstract

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.

Domains

Computation and Language [cs.CL] Data Structures and Algorithms [cs.DS] Embedded Systems
Fichier principal
Vignette du fichier
RR-0492-lustrearray.pdf (819.9 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Laure Gonnord  : Connect in order to contact the contributor

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

Submitted on : Wednesday, October 11, 2017-10:46:39 AM

Last modification on : Thursday, May 11, 2023-11:56:10 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-01614637 , version 1

Cite

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⟩

Export

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
238 View
259 Download

Share

More