Los products de análisis estático de código de Polyspace®Emplean métodos formales在时间和时间上的错误和错误的过程中,在时间和时间上的错误和错误的控制中,在时间和时间上的错误和错误。让我们知道自己的缺点codificación,我们的缺点,我们的缺点,métricas de código我们的缺点。
Polyspace访问
识别codificación的缺陷,修改análisis estático的结果,监督métricas的软件
Polyspace Bug Finder
comppruebe las reglas de codificación, los estándares de seguridad, las métricas de código, y localice errors。
Polyspace Bug Finder服务器
识别软件缺陷análisis estáticos ejecutados en servidores
Polyspace代码证明程序
有错误的日子的赔偿ejecución críticos有必要的东西código。
Polyspace代码验证服务器
请原谅我在时间上犯了错误ejecución我的软件
Ada的Polyspace客户端
请原谅我的错误,请原谅我的错误ejecución请原谅我的错误código
Ada的Polyspace服务器
Realice verificación de código en clusters de escritorio y publique las métricas
Análisis estático de código automatizado mediante métodos formales para C/ c++ y Ada
Calidad
地方的错误是如何处理的,如何处理的,如何处理的错误ejecución críticos,如何处理的,如何处理的ejecución de código。
Seguridad
Cumpla los estándares de seguridad y document la contr办公厅MISRA, ISO 26262, IEC 61508, DO-178 y las normas de la FDA。
Proteccion
软件安全漏洞estándares CWE, CERT-C, ISO/IEC 17961等。
沃尔沃汽车
Polyspace garantiza la seguridad y calidad del软件识别和纠正错误críticos en tiempo de ejecución antes de realizar una combinación de códigos。
阿莱尼亚·马基公司
la herramientas de análisis estático de Polyspace compruban el código en busca de error en tiempo de ejecución, garantizan la contrente con los estándares de codificación de MISRA y crean人工合成para el crédito de certificación DO-178。
Miracor
Polyspace ayuda一个奇迹,一个demo la calidad y la corrección ante la communidad reguladora,包括FDA,一个新事物的可能性和seguro。