对称假设-保证规则相关硕士博士期刊学术论文

模型检验是一种自动且完备的形式化验证方法。对于有限状态系统和时序逻辑公式,模型检验可以判定给定的系统模型是否满足公式中对......