模型检测 - 模型检测技术,学习,经验文章

fdtsaid

7 小时前

Simulink模型转换为UPPAAL模型(2016)在CoCoSim中，提到支持将Simulink模型转换为Lustre模型。Simulink模型，还能转换为为其他模型检测工具的模型，比如下面提到的UPPAAL模型。