形式化建模验证SMV模型检验器.rar
于 2021-12-08 发布
0 245
下载积分: 1
下载次数: 1
代码说明：
使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验
下载说明：请别用迅雷下载，失败请重下，重下不扣分！
发表评论
