基于SAT工具的限界模型检测归约方法

检索

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

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

基于SAT工具的限界模型检测归约方法

喻超, 毋国庆

Reduction Method of Bounded Model Checking Based on SAT Tool

YU Chao, MOU Guo-Qiang

计算机工程 . 2010, (17): 60 -62 . DOI: 10.3969/j.issn.1000-3428.2010.17.021