基于带参系统Murphi模型的SMV自动建模_段凯强1

【文件属性】：
文件名称：基于带参系统Murphi模型的SMV自动建模_段凯强1
文件大小：658KB
文件格式：PDF
更新时间：2022-08-03 18:05:09
摘要:提出了一种基于带参系统的Murphi模型来完成对应的SMV自动化建模的方法.因为Murphi工具拥有带参特性, 因此使用其对带参系统进行建模比较容易, 而