状态驱动相关硕士博士期刊学术论文 - 皮皮文库

状态驱动相关论文

模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上......

期刊

模型学习符号执行安全协议代码状态驱动

未知同步时序机状态网络生成算法研究

获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究.在此基础上描述的压......

期刊

同步时序机有穷自动机状态网络状态驱动加全搜索最短路径

看过本文同时还关注