Log In
New Account

Advanced search
HomeMy PageGene-Auto/Ada
SummaryActivityForumsTrackerListsTasksDocsSurveysNewsSCMFiles
Summary

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.


Registered: 2009-08-05 11:05
Activity Percentile: 0%
View project Statistics or Activity
View list of RSS feeds available for this project. 
Developer Info
Project Admins:
Matteo Bordin
Developers:
Tonu Naks

[View Members]

[Request to join]



Latest File Releases
Package Version Date Notes / Monitor Download
This Project Has Not Released Any Files

Public Areas
Home Page Project Home Page
Tracker Tracker
Forums Public Forums ( 2 messages in 2 forums )
Docs DocManager: Project Documentation
Lists Mailing Lists(1 public mailing list)
Tasks Task Manager
Surveys Surveys ( 0 surveys )
SCM SCM Repository (SVN: 0 commits, 32 adds)
Anonymous FTP Space Anonymous FTP Space

 
Latest News
No News Items Found