The main objective of this project is to allow the translation of Simulink/Stateflow into the syn...
| Date | Contributor | Description | Rating |
|---|---|---|---|
| 19 Jun 2009 | MATLAB Central Team |
The main objective of this project is to allow the translation of Simulink/Stateflow into the synchronous programming language Lustre allowing its associated compilers, model-checkers and abstract interpretation tools to be applied to Simulink designs. |