OBDDs 相关硕士博士期刊学术论文

随着计算机技术的发展,其安全问题也日益凸显,解决该类问题的一个有效方法是模型检测。模型检测常用LTL和CTL公式表示待验证的性质......