Simulink Verification and Validation Products
As of R2017b, the Simulink Verification and Validation™ product transitioned into Requirements Toolbox™*, Simulink Check™, and Simulink Coverage™. Explore product capabilities for requirements modeling and traceability, automating compliance to guidelines and standards, and measuring coverage of your tests.
Author, manage, and trace requirements to models, generated code, and test cases.
Verify compliance with style guidelines and modeling standards.
Measure test coverage in models and generated code.
* As of R2022a, Requirements Toolbox has been renamed Requirements Toolbox.