用于验证模型等价性的系统和方法

摘要

本发明涉及用于验证模型等价性的系统和方法。提供了一种用于验证模型等价性的系统和方法。在一个实现中，一种系统包括：存储装置，存储参考模型(RM)以及比较模型(CM)，其中该CM和RM由一个规则集约束；以及处理单元，从RM生成参考模型表示(RMR)并将RMR存储在该存储装置上；该处理单元进一步从该比较模型(CM)生成比较模型表示(CMR)并将CMR存储在该存储装置上，其中，该处理单元进一步用于：验证CMR兼容地实现RMR；验证从CMR派生的CM数据流程图兼容地实现从RMR派生的RM数据流程图；以及验证每个CM语义单元实现对应于RM语义单元的行为以及每个RM语义单元在CM中被说明。