LustreC Jul 2, 2021 Go to Project Site Lélio Brun Postdoctoral research scientist in Computer Science My research interests include synchronous languages, functional programming and verified compilation. Publications Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation Model-based design tools like SCADE Suite and Simulink are often used to design safety-critical embedded software. Consequently, … Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux PDF Cite Project Slides DOI