Recorded Webinar: Introduction to Simulink Design Verifier
Get immediate access to this webinar, and other recorded webinars, by completing this form.
This webinar introduces Simulink® Design Verifier, the latest MathWorks product for model verification and validation. Simulink Design Verifier generates tests and proves properties of your Simulink and Stateflow® models.
Simulink Design Verifier extends Simulink Verification and Validation to address design verification problems that are difficult to address manually – achieving complete model coverage and verifying that certain design properties are satisfied in all possible execution scenarios for the tested model component.
The webinar will introduce product features and technology behind them and show you how to automate test generation and property proving methods in your Simulink and Stateflow environment using advanced verification techniques based on formal methods.
This webinar is for people familiar with Simulink and Simulink Verification and Validation and a good introduction into topics discussed is the recorded webinar "Verification, Validation, and Test for Embedded Control."
Product Focus
- Simulink Design Verifier
This webinar was recorded on 12 Jun 2007
Duration: 48:00