Velus: 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
Links