万博1manbetx^®设计Verifier™用途正式方法识别模型中的隐藏设计错误。它检测到模型中导致整数溢出，死亡逻辑，数组访问违规以及划分零的模型中的块。它可以正式验证设计满足功能要求。对于每个设计错误或要求违规，它会生成调试的模拟测试用例。

万博1manbetxSimulink Design Verifier为模型覆盖和自定义目标生成测试用例，以扩展现有的基于需求的测试用例。这些测试用例驱动您的模型以满足条件，决策，修改条件/决策（MCDC）和自定义覆盖目标。除了覆盖目标外，您还可以指定自定义测试目标，以自动生成基于需求的测试用例。

万博1manbetx通过支持行业标准IEC认证套件（对于IEC 61508和ISO 26262）和做资格套件（对于do-178）。