概述
      主要用来创建，管理和在不同的级别（MIL/SIL/PIL）对模型及代码执行测试用例。

概述
      BTC Back-to-Back 测试套件是经过ISO26262认证的全自动的等效性测试套件BTC Back-to

概述
      BTC EmbeddedPlatform 是一个支撑形式测试，形式验证，功能测试及等效性测试技术的一个强大的技

概述
       BTC Embedded Systems AG 提供针对于对嵌入式软件系统的形式验证，确认，以及自动测试软件工

概述
       借助BTC SUP 形式语言，让您轻松步入到形式世界。ISO26262和IEC61508标准推荐的使用准形式化

概述
       针对安全关键系统的证明，BTC EmbeddedValidator（形式验证套件）是对安全关键需求进行形式验证