时间区间时序逻辑相关论文
模型检测技术在实时系统验证中被广泛使用。离散时间区间时序逻辑满足性是可判定的,因而也是可模型检测的。连续时间域时间区间时......
在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质。为此，该文使用一个离散时间区间时序逻辑公式建立实时系统模型，使用另......
