分支时态逻辑相关硕士博士期刊学术论文

分支时态逻辑相关论文

近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号......

期刊