Find Potential Design Errors Using Model-Based Testing
Test your design using Model Coverage in Simulink Coverage™ and formal methods for test generation in Simulink Design Verifier™. Using a model-based testing approach, detect incorrect or over-specified requirements early in software development.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.
You can also select a web site from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.