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 Simulink Requirements in R2017b.