Automated verification of code automatically generated from Simulink (R)
The CLawZ toolset independently and automatically proves the correctness of code automatically generated by a commercial auto-code generator for the Simulink® modelling language. The use of formal methods is invisible to the user and it has been shown to lead to faster development of correct code. T...
| Autor Principal: | |
|---|---|
| Formato: | Journal article |
| Idioma: | English |
| Publicado: |
2013
|
Títulos similares
Automated Model−based Verification of Object−Oriented Code
por: Ostroff, J, et al.
Publicado: (2006)
por: Ostroff, J, et al.
Publicado: (2006)