Simulink Design Verifier 1.5

Formal Methods with Prover® Plug-In

Simulink Design Verifier uses formal analysis techniques provided by Prover® Plug-In from Prover Technology to achieve exhaustive and complete analysis of your models. These techniques use mathematically rigorous procedures to simplify and search through the possible execution paths of your model to find test cases and counterexamples. This systematic analysis complements simulation and provides deeper understanding of the behavior of your designs.