Prove Properties in a Subsystem
If you have a large model, you can prove the properties of a subsystem in the model and review the analyses in smaller, manageable reports. The workflow for proving properties in a subsystem is:
Open the model that contains the subsystem.
Make the subsystem atomic.
Run Simulink® Design Verifier™ using the Prove Properties of Subsystem option.
Review the results.
The tutorial in Generate Test Cases for a Subsystem explains how to generate test cases for the Controller subsystem in the Cruise Control Test Generation model. The steps for proving properties are similar to those for generating test cases, except that you select the Prove Properties of Subsystem option instead of the Generate Tests for Subsystem option.