基于可滿足性模理論求解器的程序路徑驗(yàn)證方法
2017-05-12 10:55:15任勝兵吳斌張健威王志健
計(jì)算機(jī)應(yīng)用 2016年10期
任勝兵 吳斌 張健威 王志健
關(guān)鍵詞：路徑驗(yàn)證：控制流圖：決策樹(shù)：基本路徑：可滿足性模理論求解器endprint
猜你喜歡
潤(rùn)·文摘(2021年7期)2021-08-23 02:58:42
數(shù)字技術(shù)與應(yīng)用(2021年5期)2021-06-29 10:33:46
電子科技(2021年2期)2021-01-08 02:25:58
計(jì)算機(jī)工程與設(shè)計(jì)(2020年11期)2020-11-17 06:56:00
戀愛(ài)婚姻家庭(2020年4期)2020-05-03 13:59:10
成都信息工程大學(xué)學(xué)報(bào)(2019年3期)2019-09-25 08:31:20
電子制作(2018年16期)2018-09-26 03:27:06
中央民族大學(xué)學(xué)報(bào)(自然科學(xué)版)(2016年4期)2016-06-27 08:06:04
Transactions of Nanjing University of Aeronautics and Astronautics(2015年3期)2015-11-21 07:56:34
鄭州大學(xué)學(xué)報(bào)(醫(yī)學(xué)版)(2015年1期)2015-02-27 14:50:26
