MATLAB Examples

Property Proving with an Invalid Property

This example shows how to find an invalid property using Simulink Design Verifier property proving analysis.