论文研究-一种基于有限精度时间自动机的模型检测工具.pdf

【文件属性】：

文件名称：论文研究-一种基于有限精度时间自动机的模型检测工具.pdf

文件大小：299KB

文件格式：PDF

更新时间：2022-08-11 13:18:09

模型检测工具,实时系统,数据结构,有限精度,时间自动机

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