Model Checker首页

软件可以支持检验模型接口及模型仿真运行测试，检验模型接口命名规范，检验模型接口定义传输数据类型，模型运行是否正常，并输出模型接口列表。对于目标系统，结合给定的实验测试数据，可进行模型置信度评价分析，并输出模型校核测试报告。软件可以对不同阶段及类型的模型开展规范性分析与验证工作，提取模型要素，形成验证分析结果，支撑基于模型系统工程的模型快速分析与验证。

Model Checker

产品说明