Gene-Auto/Ada is a DO-178-qualified model compiler for synchronous modeling languages such as Simulink, StateFlow and Scicos. The model compiler targets SPARK.
[View Members]
[Request to join]