Press Release
Feb 24 '15
AdaCore Launches QGen
Posted by AdaCore
AdaCore has released QGen, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK source code.
