时态测试器相关论文
实时系统被广泛地应用在一些重大、紧急的事件的处理中,例如智能机器人、航天系统和铁路调度系统等。实时系统一旦发生错误,后果往......
实时系统的错误往往十分危险甚至是致命的,使用模型检测来保证复杂实时系统的正确性是十分有效的。针对模型检测中传统时态逻辑无......
