一种基于有限精度时间自动机的模型检测工具

作者：徐雨波; 晏荣杰

来源：计算机应用研究, 2006, (05): 121-125.

• 模型检测工具
• 实时系统
• 数据结构
• 有限精度
• 时间自动机 Model-checking Tool
• Real-time Systems
• Data Structure
• Finite Precision
• Timed Automata

基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果。

• 单位
  中国科学院软件研究所; 中国科学院研究生院; 计算机科学国家重点实验室