Institutional Repository
| 传值进程模型检测中诊断信息的生成 | |
| Alternative Title | diagnostic information generation in model checking value-passing processes |
| 刘剑; 林惠民 | |
| 2003 | |
| Source | 软件学报
![]() |
| ISSN | 1000-9825 |
| Volume | 14Issue:1Pages:40186 |
| English Abstract | 诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义,讨论了传值进程模型检测中诊断信息的生成问题,引入了两种诊断信息的表示结构:证明图和示例;提出了两种诊断信息的构造算法,所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例,这样可以继承已有的信息,从而减少计算量,相应的算法已经实现并用实例作了分析测试,实验结果表明该方法是有效的。 |
| Indexed Type | ei,wanfang,cscd |
| Keyword | 进程代数 模型检测 证明图 示例 诊断生成 Process Algebra Model Checking Proof Graph Witness Diagnosis Generation |
| 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/4458 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 刘剑,林惠民. 传值进程模型检测中诊断信息的生成[J]. 软件学报,2003,14(1):40186. |
| APA | 刘剑,&林惠民.(2003).传值进程模型检测中诊断信息的生成.软件学报,14(1),40186. |
| MLA | 刘剑,et al."传值进程模型检测中诊断信息的生成".软件学报 14.1(2003):40186. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 4.pdf(233KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment