Solvers

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, …
PDF Project Slides DOI