This example shows how to perform property proving with Simulink Design Verifier and debug a counterexample with the Model Slicer tool from Simulink Check. - View it on GitHub