推广化符号轨迹赋值相关硕士博士期刊学术论文 - 信丰网

推广化符号轨迹赋值相关论文

一种推广化符号轨迹赋值中伪报错的改进算法

介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前......

期刊

符号化轨迹赋值推广化符号轨迹赋值伪报错形式化验证模型检验强可满足性 symbolic trajectory evaluation generalize

基于GSTE中抽象问题的研究及其应用

随着社会的不断进步,集成电路在社会中的影响愈来愈大,占得比重愈来愈高。从个人日常所用的手机,平板电脑到支撑整个国家的卫星,航......

学位

形式化验证推广化符号轨迹赋值同步布尔网络异步布尔网络吸引子

看过本文同时还关注