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...

Full description

Bibliographic Details
Main Author: O'Halloran, C
Format: Journal article
Language:English
Published: 2013