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...
Main Author: | |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2013
|