区间时序逻辑的模型检查 (2009年)

【文件属性】：

文件名称：区间时序逻辑的模型检查 (2009年)

文件大小：205KB

文件格式：PDF

更新时间：2024-06-11 16:38:13

自然科学 论文

摘要：为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质，定义了一套转换规则．利用这些规则，可以构造一个ｃｈｏｐ‐自动机，该自动机接受的