基于CTL的并发系统CSP模型验证 |
| |
作者单位: | ;1.河南师范大学计算机与信息工程学院;2.河南师范大学"智慧商务与物联网技术"河南省工程实验室;3.桂林电子科技大学广西可信软件重点实验室 |
| |
摘 要: | 主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.
|
关 键 词: | 模型检测 迹模型 计算树逻辑 回答集程序设计 |
Model Checking CSP Concurrent Systems Based on CTL |
| |
Institution: | ,College of Computer and Information Engineering,Henan Normal University,Engineering Lab of Intelligence Business & Internet of Things,Henan Normal University,School of Computer Science and Engineering,Guilin University of Electronic Technology |
| |
Abstract: | |
| |
Keywords: | model checking trace model computing tree logic answer set programming |
本文献已被 CNKI 等数据库收录! |
|