| 一种基于有限精度时间自动机的模型检测工具 |
| 徐雨波; 晏荣杰
|
| 2006
|
| 发表期刊 | 计算机应用研究
 |
| 期号 | 5页码:121-125 |
| 摘要 | 基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果。 |
| 关键词 | 模型检测工具
实时系统
数据结构
有限精度
时间自动机
|
| 部门归属 | 中国科学院软件研究所计算机科学国家重点实验室,中国科学院软件研究所计算机科学国家重点实验室 北京100080,中国科学院研究生院,北京100049,北京100080
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11880
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
徐雨波,晏荣杰. 一种基于有限精度时间自动机的模型检测工具[J]. 计算机应用研究,2006(5):121-125.
|
| APA |
徐雨波,&晏荣杰.(2006).一种基于有限精度时间自动机的模型检测工具.计算机应用研究(5),121-125.
|
| MLA |
徐雨波,et al."一种基于有限精度时间自动机的模型检测工具".计算机应用研究 .5(2006):121-125.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论