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 metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-01614637
Contributor : Laure Gonnord <>
Submitted on : Wednesday, October 11, 2017 - 10:46:39 AM
Last modification on : Saturday, March 30, 2019 - 1:32:44 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

249

Files downloads

182