基于可满足性模理论求解器的程序路径验证方法
2017-05-12 10:55任胜兵吴斌张健威王志健
计算机应用 2016年10期
任胜兵 吴斌 张健威 王志健
关键词：路徑验证：控制流图：决策树：基本路径：可满足性模理论求解器endprint
猜你喜欢
科学与信息化(2019年28期)2019-10-21
河北工业大学学报(2019年6期)2019-09-10
福建基础教育研究(2019年4期)2019-05-28
婚姻与家庭·性情读本(2018年11期)2018-01-14
读与写·教育教学版(2017年10期)2017-11-10
少年博览·小学高年级(2017年4期)2017-04-18
科学与财富(2016年32期)2017-03-04
杂文选刊(2014年1期)2013-12-31
决策与信息·下旬刊(2013年1期)2013-03-11
浙江社会科学(2004年4期)2004-04-22
