| 带复杂数据结构的模型检测工具 |
| 其他题名 | a model-checking tool with non-trivial data structures
|
| 张轶; 林惠民
|
| 2004
|
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论