域自动机相关论文
实时系统是一种带有时间约束的计算系统,这些系统的许多动作的完成是与时间相关的,即要满足一定的时间限制。为了确保实时系统的正确......
模型检测是一种用于并发系统性质验证的算法技术.实际生活中广泛应用的是带有时间约束的并发系统即实时系统,现在模型检测技术越来......
提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此......