万博1manbetx^®设计验证™使用形式化方法在模型中找出隐藏的设计错误。它检测在导致整数溢出，死逻辑，数组访问违规，并除以零的模型块。它可以正式确认其设计符合功能要求。对于每个设计错误或要求违反时，它产生一个模拟测试案例进行调试。

万博1manbetxSimulink设计验证生成测试用例模型覆盖和定制的目标，以扩展现有的基于需求的测试用例。这些测试案例驱动模型可以不满足条件，决策，修正条件/决定（MCDC）和自定义覆盖目标。除了覆盖的目标，您可以指定自定义的测试目标，自动生成基于需求的测试用例。

万博1manbetx对行业标准的支持可通过IEC认证工具包（用于IEC 61508和ISO 26262）和DO资格套件（对于DO-178）。