时间字相关论文
经典的ω-有穷自动机用于系统验证时抽离了时间特性，不适用于研究与物理过程发生交互的系统。时间自动机扩充时间因素于经典ω-有穷......
本文在对时间自动机进行深入研究的基础上，提出了公式时钟自动机。在公式时钟自动机中，每一个事件对应一个命题、并且针对给定命题集......
本文分析了传统的时间自动机在实时系统进行形式化验证方面所存在的问题,提出了一种新的形式化验证工具--公式时钟自动机,给出了公......
