ISCAS OpenIR  > 基础软件与系统重点实验室
带复杂数据结构的模型检测工具
其他题名a model-checking tool with non-trivial data structures
张轶; 林惠民
2004
发表期刊计算机研究与发展
ISSN1000-1239
卷号41期号:11页码:1990-1999
摘要模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.
收录类别wanfang,cscd
关键词模型检测 传值进程 带赋值符号迁移图 谓词μ演算 复杂数据结构 Model-checking Value-passing Process Stga Predicate Μ-calculus Non-trivial Data Structures
部门归属计算机科学国家重点实验室
资助者National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office
语种中文
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4476
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
张轶,林惠民. 带复杂数据结构的模型检测工具[J]. 计算机研究与发展,2004,41(11):1990-1999.
APA 张轶,&林惠民.(2004).带复杂数据结构的模型检测工具.计算机研究与发展,41(11),1990-1999.
MLA 张轶,et al."带复杂数据结构的模型检测工具".计算机研究与发展 41.11(2004):1990-1999.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
14.pdf(437KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[张轶]的文章
[林惠民]的文章
百度学术
百度学术中相似的文章
[张轶]的文章
[林惠民]的文章
必应学术
必应学术中相似的文章
[张轶]的文章
[林惠民]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。