Towards a verified Lustre compiler with modular reset - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Towards a verified Lustre compiler with modular reset

Résumé

This paper presents ongoing work to add a modular reset construct to a verified Lustre compiler. We present a novel formal specification for the construct and sketch our plans to integrate it into the compiler and its correctness proof.
Fichier principal
Vignette du fichier
paper.pdf (534.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01817949 , version 1 (18-06-2018)

Identifiants

Citer

Timothy Bourke, Lélio Brun, Marc Pouzet. Towards a verified Lustre compiler with modular reset. 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), May 2018, Sankt Goar, Germany. pp.4, ⟨10.1145/3207719.3207732⟩. ⟨hal-01817949⟩
185 Consultations
266 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More