Vélus: Towards a Modular Reset

Abstract

We present two ideas in this talk:

  1. A co-inductive based semantics formalization for normalized Lustre
  2. A formalization of the semantics of the modular reset

Date
Nov 29, 2017 2:45 PM
Location
Centre Inria Rennes - Bretagne Atlantique
Avenue du Général Leclerc
35042 Rennes
Avatar
Lélio Brun
Postdoctoral research engineer in Computer Science

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