|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 大连理工大学软件评测中心主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：开发区校区综合楼409
联系方式：zhoukj@dlut.edu.cn 13804248599
电子邮箱：zhoukj@dlut.edu.cn
扫描关注
模型检测中状态爆炸问题研究综述
点击次数：
论文类型：期刊论文
发表时间：2013-06-15
发表刊物：计算机科学
收录刊物：PKU、ISTIC
卷号：40
期号：z1
页面范围：77-86,111
ISSN号：1002-137X
关键字：软件系统;模型检测;状态空间爆炸;形式化验证
摘要：模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题.如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题.系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向.