Static Analysis via Horn Encoding from synchronous Dataflow Programs

Résumé : Dans ce rapport nous étudions l'analyse statique de programmes Lustre via un encodage vers des clauses de Horn à Tableaux.
Type de document :
Rapport
[Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01614637
Contributeur : Laure Gonnord <>
Soumis le : mercredi 11 octobre 2017 - 10:46:39
Dernière modification le : vendredi 13 octobre 2017 - 08:42:29

Fichier

RR-0492-lustrearray.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01614637, version 1

Collections

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〉

Partager

Métriques

Consultations de
la notice

31

Téléchargements du document

7