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
更多...