Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2013-06-15

Journal: 计算机科学

Included Journals: ISTIC、PKU

Volume: 40

Issue: z1

Page Number: 77-86,111

ISSN: 1002-137X

Key Words: 软件系统;模型检测;状态空间爆炸;形式化验证

Abstract: 模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题.如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题.系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向.