Polyspace Code proverserver™è unsolido motordi analisi statica che dimostra l 'assenza di overflow，除数每零，accesso agli array fuori limit altri error di运行时nel codice sorgente C e c++。这是一种程序间分析和数据控制的可能，包括代码多线程，每一个被识别的基因操作都是半基因的，半基因的，易感染的。Polyspace代码验证器服务器识别段编码privi，错误，运行时，不验证，不验证。

Polyspace代码验证服务器può essere eseguito su una machchina class Server e integrato in sistemi di build e integrazione continua for a verifica automatizzata使用anando strumenti come Jenkins^®．我是这样的多元空间访问™根据分类和信息。

所有的IEC认证套件(根据IEC 61508和ISO 26262)和DO资格套件(根据DO-178)不支持众多的工业标准。