状态事件线性时序逻辑相关硕士博士期刊学术论文

模型检验是硬件和软件形式化验证最成功的技术之一.目前大部分的模型检验技术是基于状态的而不考虑迁移上的操作和事件.这导致模型......