CheckMate 演示：将死混合系统验证工具的演示。-matlab开发

此 zip 文件包含多个 CheckMate 工具演示。 函数 testcheckmate.m 运行这个 zip 文件中的所有演示，除了 V2V 验证，这需要几个小时才能完成。 [快速开始] 每个 CheckMate 模型通常包含一个设置文件，该文件在基础工作区中创建变量，以及 CheckMate 模型的 Simulink 图。 要运行演示，首先运行安装文件，然后打开 Simulink 图。 出于验证目的，请使用“验证”； 对于探索，请使用“探索”。