"R2014a" . "Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards."@en . "Polyspace"@en . . "2014-03-06Z"^^ . . . .