Technology GNAT Pro User Day: QGen: Simulink® static verification and code generation

1. QGen: Simulink® static verificationand code generationPresented byMatteo [email protected] 2. What is QGen?A qualifiable and customizable code generator fromSimulink®…