技术栈
模型检测
fdtsaid
19 天前
simulink
·
模型检测
·
divine
Simulink模型转换为DIVINE模型(2012)
在CoCoSim中，提到将Simulink模型转换为Lustre模型。除了这种方式外，Simulink模型还能转换为其他模型检测工具的输入模型，比如DIVINE。下面将介绍2012年的一份相关工作。
fdtsaid
21 天前
simulink
·
uppaal
·
模型检测
Simulink模型转换为UPPAAL模型(2016)
在CoCoSim中，提到支持将Simulink模型转换为Lustre模型。Simulink模型，还能转换为为其他模型检测工具的模型，比如下面提到的UPPAAL模型。
我是有底线的