Institutional Repository
| 带复杂数据结构的模型检测工具 | |
| Alternative Title | a model-checking tool with non-trivial data structures |
| 张轶; 林惠民 | |
| 2004 | |
| Source | 计算机研究与发展
![]() |
| ISSN | 1000-1239 |
| Volume | 41Issue:11Pages:1990-1999 |
| English Abstract | 模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性. |
| Indexed Type | wanfang,cscd |
| Keyword | 模型检测 传值进程 带赋值符号迁移图 谓词μ演算 复杂数据结构 Model-checking Value-passing Process Stga Predicate Μ-calculus Non-trivial Data Structures |
| Department | 计算机科学国家重点实验室 |
| Sponsorship | 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 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4476 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 张轶,林惠民. 带复杂数据结构的模型检测工具[J]. 计算机研究与发展,2004,41(11):1990-1999. |
| APA | 张轶,&林惠民.(2004).带复杂数据结构的模型检测工具.计算机研究与发展,41(11),1990-1999. |
| MLA | 张轶,et al."带复杂数据结构的模型检测工具".计算机研究与发展 41.11(2004):1990-1999. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 14.pdf(437KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment