labfans
2019-10-31, 18:04
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
更多... ( http://www.mathworks.com/company/newsletters/articles/improving-software-quality-with-static-code-analysis.html )
2012-12-17 07:00 AM
更多... ( http://www.mathworks.com/company/newsletters/articles/improving-software-quality-with-static-code-analysis.html )