Property Proving Workflow for Thrust Reverser
This example shows how to verify safety properties in a thrust reverser design model. The Properties block below it contains four safety properties. Simulink Design Verifier analyzes the design model and safety properties to prove correctness or to identify counterexamples. The use of model referencing eliminates the need to add verification content to the design model, allowing the verification content to exist independently from the design.