基于ASP的CSP模型验证性质反例生成技术研究

• 作者: 张超 王雪松 赵岭忠
• 来源期刊: 计算机应用研究
• 关键词: 通信顺序进程 回答集编程 支撑原因
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 52-55
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.01.012

摘要

为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架.主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术.把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题的研究,提出了相应的反例生成算法,实例表明了该算法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵岭忠	桂林电子科技大学广西可信软件重点实验室	64	229	8.0	11.0
2	王雪松	桂林电子科技大学电子工程与自动化学院	13	26	3.0	5.0
3	张超	桂林电子科技大学广西可信软件重点实验室	8	33	3.0	5.0