The MathWorks Introduces Simulink Design Verifier; New Tool Automates Test Generation and Property Proving for Model-Based Design Using Formal-Methods Engine from Prover Technology.

0 Comments | M2 Presswire, June, 2007

M2 PRESSWIRE-4 June 2007-MATHWORKS: The MathWorks Introduces Simulink Design Verifier; New Tool Automates Test Generation and Property Proving for Model-Based Design Using Formal-Methods Engine from Prover Technology(C)1994-2007 M2 COMMUNICATIONS LTD RDATE:04062007 Cambridge, UK - The MathWorks today introduced Simulink Design Verifier, which 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...