关于混成系统形式验证几个问题的探讨
本文系统地介绍了混成系统及形式验证的概念,在验证模型的基础上,给出了两种形式验证方法.并重点阐迷了这两种方法的算法步骤和不足,简单地介绍了验证工具,最后总结了目前混成系统形式验证研究应用的现状和发展方向.
混成系统、形式验证、可达性、可决定性
S5;TP391.9;TQ639
湖南省教育厅一般项目08DO65
2011-01-28(万方平台首次上网日期,不代表论文的发表时间)
共2页
394-395
点击收藏,不怕下次找不到~
混成系统、形式验证、可达性、可决定性
S5;TP391.9;TQ639
湖南省教育厅一般项目08DO65
2011-01-28(万方平台首次上网日期,不代表论文的发表时间)
共2页
394-395
国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”
国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304
©天津万方数据有限公司 津ICP备20003920号-1
违法和不良信息举报电话:4000115888 举报邮箱:problem@wanfangdata.com.cn