Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
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.
Share and Enjoy:
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors