Uttara Kumar, MathWorks
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.
Featured Product
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select:.
Selectweb siteYou can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.