| Labfans是一个针对大学生、工程师和科研工作者的技术社区。 | 论坛首页 | 联系我们(Contact Us) |
 |
| Labfans是一个针对大学生、工程师和科研工作者的技术社区。 | 论坛首页 | 联系我们(Contact Us) |
|
|
|
2019-10-31, 18:04
|
#1 |
|
论坛管理员
注册日期: 2007-04-03
帖子: 784
声望力: 5  |
Improving Software Quality with Static Code Analysis
To improve code quality, development teams complement traditional software verification activities with static code analysis using Polyspace code verifiers, which use formal methods with abstract interpretation to verify C, C++, or Ada code.
2012-12-17 07:00 AM 更多... |
|
|
混合模式
