Lélio Brun's homepage
Lélio Brun's homepage
About
Publications
Talks
Projects
Experience
Teaching
Academic service
Contact
CV
Marc Pouzet
Latest
Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Towards a Verified Lustre Compiler with Modular Reset
A Formally Verified Compiler for Lustre
Cite
×