Skip to Main content Skip to Navigation
Reports

Static Analysis via Horn Encoding from synchronous Dataflow Programs

Abstract : In this technical report we dene an encoding from Lustre programs to Array Horn Clauses.
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-01614637
Contributor : Laure Gonnord Connect in order to contact the contributor
Submitted on : Wednesday, October 11, 2017 - 10:46:39 AM
Last modification on : Saturday, September 11, 2021 - 3:16:58 AM

File

RR-0492-lustrearray.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01614637, version 1
`

Citation

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⟩

Share

Metrics

Record views

320

Files downloads

311