「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。

        按照ISO26262的Back-to-Back (B2B)测试标准统合的工具,可实行模型/模型, 模型/软件, 模型/目标代码的B2B测试,可检出Simulink上，B2B测试错误发生的地点（subsystem）,可以在Simulink上对包含反馈处理在内的模型按时间轴以及B2B测试错误进行追迹,可以在代码执行时，计算代码覆盖率（Statement, Branch, MC/DC）,取得了机能安全ISO26262/IEC61508的 工具认证。