Prover生态系统

Prover为生态系统成员提供合作伙伴计划。

Prover iLock 合作伙伴计划

显示本商标标志的公司拥有Prover iLock全面支持的控制与信号硬件平台(包括编码器、模拟器和校验器)。

PiSPEC 合作伙伴计划

显示本商标标志的公司拥有Prover认证的规格工程师。

Prover Plug-In合作伙伴计划

显示本商标标志的公司销售基于Prover插件的产品，拥有模型检验、等效检验、特性检验和生成测试等功能。