Simulink design verifier tool

The Simulink design verifier generates tests and proves design properties for Simulink and Stateflow models using the Prover Plug-In from Prover Technology.
Developers of embedded systems—especially complex or safety-critical systems—can now automatically obtain test cases to satisfy industry-standard metrics, such as modified condition/decision coverage (MC/DC), while uncovering design errors earlier in the development process when they are significantly less expensive to fix. The verifier augments simulation with verification and validation technology based on formal methods that significantly reduces the need to hand-code tests for establishing complete model coverage and verifying requirements.

The MathWorks, www.mathworks.com