- Simulink Verification and Validation
- Simulink Design Verifier
- PolySpace code verification products
31 October 2010 Corporate presentations
In this webinar we introduce best practices for using new techniques and tools in Model-Based Design for verification, validation, and test. We will address coverage-driven model testing in simulation and formal methodsâ€“based proving on models and code.
This video is best viewed in full screen mode
Brett manages the product marketing of verification, validation and test products at MathWorks. He has worked on controls analysis, hardware-in-the-loop test systems, robotics, real-time software development, and systems engineering in the aerospace and embedded systems industries.