POLYSPACE CODE PROVER™는C및C ++소스소스에서에서，0으로나누기，범위를벗어난배열및기타런타임가없음없음증명하는견고정적정적분석툴툴툴툴툴툴툴툴입니다입니다툴툴툴툴툴툴툴툴툴프로그램실행이나탐침삽입，테스트테스트이스작성없이결과물결과물만들어냅니다。Polyspace代码箴言는는프로시저간，제어및데이터흐름흐름동작을검증하기위한정형기법을으로의미분석과과추상을사용용이도구를통해손으로작성한코드，생성된코드또는이둘의조합을검증할수있습니다。각코드구문은런타임오류가없는지，실패하거나도달할수없다고증명되었는지，증명되지않았는지를나타내기위해코드에색상을입혀표현됩니다。

Polyspace代码箴言는변수와함수반환값대한범위정보를표시변수변수변수변수변수범위제한을초과를증명할수있습니다을초과증명Polyspace代码箴言는Eclipse™IDE와연동하여하여코드검증수수있습니다。

IEC认证套件（对于ISO 26262和IEC 61508）와做资格套件（对于DO-178和DO-254）를를업계표준을합니다。