Towards a verified Lustre compiler with modular reset - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Towards a verified Lustre compiler with modular reset

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
189 View
288 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More