Verifying the Lustre Modular Reset

Abstract

We present ongoing work on the compilation of the modular reset and its proof of correctness.

Date
Nov 29, 2018 9:00 AM
Location
CAES CNRS - Villa Clythia
2754, avenue Henri-Giraud
83600 Fréjus
Avatar
Lélio Brun
PhD candidate in Computer Science

My research interests include synchronous languages, functional programming and verified compilation.