Vélus: Towards a Modular Reset


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

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

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