| 基于SPIN/Promela的并发系统验证 |
| 其他题名 | verification of concurrent systems using spin/promela
|
| 肖美华; 薛锦云
|
| 2004
|
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X
|
| 卷号 | 31期号:8页码:201-203,208 |
| 摘要 | 并发系统安全性分析是当前计算机科学中一个重要的研究领域.模型检测是最成功的自动验证技术之一,其成功应用归功于有效验证工具的支持.SPIN是一种著名的分析验证并发系统逻辑一致性的工具.本文在阐述SPIN工作机理的基础上,详细分析了基于SPIN的系统建模语言Promela中通道操作、基本数据结构及其功能,并设计了SPIN形式化验证软件系统的基本算法,最后运用SPIN对一个并发系统实例进行验证,得出了相应验证输出图. |
| 收录类别 | wanfang
|
| 关键词 | 模型检测
并发系统
软件可靠性
Spin/promela
形式化验证
并发系统
逻辑一致性
计算机科学
安全性分析
验证技术
验证工具
研究领域
数据结构
软件系统
建模语言
基本算法
工作机理
分析验证
运用
应用
通道
输出
设计
模型
|
| 部门归属 | 南昌大学计算中心,南昌,330029;中国科学院软件研究所计算机科学重点实验室,北京,100080;江西师范大学计算机信息工程学院,南昌,330027;中国科学院软件研究所计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12850
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
肖美华,薛锦云. 基于SPIN/Promela的并发系统验证[J]. 计算机科学,2004,31(8):201-203,208.
|
| APA |
肖美华,&薛锦云.(2004).基于SPIN/Promela的并发系统验证.计算机科学,31(8),201-203,208.
|
| MLA |
肖美华,et al."基于SPIN/Promela的并发系统验证".计算机科学 31.8(2004):201-203,208.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论