搜索结果: 1-2 共查到“计算机运行测试与性能评价 Bug Detection”相关记录2条 . 查询时间(0.093 秒)
The term soundness originated in mathematical logic: a deductive system is sound with respect to a semantics if it only proves valid arguments. This concept naturally extends to the context of optimiz...
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.