Simulink® Design Verifier™ 1.2

Product Description

• Introduction and Key Features
• Working with Simulink Design Verifier
• Formal Methods with Prover® Plug-In
• Test Generation
• Property Proving
• Extending Design Verifier

Extending Design Verifier

The Verification Subsystem block from the Simulink Design Verifier library lets you define complex proof objectives and constraints using Simulink and Stateflow constructs without affecting the simulation or code generated by Real-Time Workshop. All Simulink Design Verifier functionality can be scripted and then executed in batch mode in MATLAB using command-line functions. Simulink Design Verifier options are saved in your Simulink model files and can be modified using standard Simulink functions.