用于克服程序状态空间爆炸的条件化预处理

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

用于克服程序状态空间爆炸的条件化预处理

肖健宇;张德运;陈海诠;董皓

Program Conditioning to Reduce State Space Explosion for Software Model Check

XIAO Jianyu; ZHANG Deyun; CHEN Haiquan; DONG Hao

计算机工程 . 2006, (19): 51 -53 . DOI: 10.3969/j.issn.1000-3428.2006.19.019