Hits:
Indexed by:期刊论文
Date of Publication:2013-06-15
Journal:计算机科学
Included Journals:PKU、ISTIC
Volume:40
Issue:z1
Page Number:77-86,111
ISSN No.:1002-137X
Key Words:软件系统;模型检测;状态空间爆炸;形式化验证
Abstract:模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题.如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题.系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向.
