机译:多面体过逼近可降低静态分析的复杂性
Department of Computer Science, University of Tlemcen, Tlemcen, Algeria;
Department of Mathematics, The University of Hong Kong, Hong Kong, People's Republic of China;
Optimization problem; formal verification; polyhedral representation; static analysis.;
机译:静态分析:简介:软件工程的根本挑战是复杂性之一
机译:基于静态分析数据的低复杂度模型软件缺陷预测
机译:静态分析和代码复杂性度量作为软件缺陷的早期指标
机译:用于边界分析和摊余复杂性分析的简单且可扩展的静态分析
机译:Petri网约简理论在Ada任务静态分析中的应用。
机译:降低基因组复杂度以进行SNP基因分型分析
机译:制造系统中的复杂性-第1部分:静态复杂性分析