技术栈

divine

fdtsaid
6 小时前
simulink·模型检测·divine
Simulink模型转换为DIVINE模型(2012)在CoCoSim中,提到将Simulink模型转换为Lustre模型。除了这种方式外,Simulink模型还能转换为其他模型检测工具的输入模型,比如DIVINE。下面将介绍2012年的一份相关工作。
我是有底线的