基于错误模式和模型检验的静态代码分析方法

检索

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

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

基于错误模式和模型检验的静态代码分析方法

魏雪菲, 吴健, 阮园

Static Code Analysis Method Based on Fault Mode and Model Check

WEI Xue-Fei, TUN Jian, RUAN Wan

计算机工程 . 2012, (06): 47 -49 . DOI: 10.3969/j.issn.1000-3428.2012.06.015