Simulink Design Verifier™允许在模型中使用形式化的方法进行验证。Das Tool erkennt Blöcke im model, die zu Ganzzahlüberläufen, ter Logik, Array-Zugriffsverletzungen and Divisionen durch Null f hren Mit Tool lässt .此形式验证，pass in Entwurf die functionalen Anforderungen erf llt。北京珠宝工程有限公司。Verstoß gegen Anforderungen wind - vom工具在模拟中的应用。

Simulink设计验证器generiert Testfälle f r模具建模和建模定义器Ziele，模具建模和建模验证器basierte Testfälle erweteren。disese Testfälle fhren Ihre Modelle zur erf llung von Zielen zur Bedingungs-， Entscheidungs- and modifizierten Bedingungs-/Entscheidungsabdeckung (Modified Condition/Decision Coverage) sowie zur erf llung and wenderdefinierter Abdeckungsziele。Zusätzlich zu Abdeckungszielen können Sie individuelle Testziele festlegen and daraus automatisch and forderungsbasierte Testfälle genereren。

Zur unterst zung von工业标准协会IEC认证套件(r ISO 26262和IEC 61508)和dasDO鉴定工具包(r DO-178和DO-254) erhältlich。