Polyspace
Seguridad para código crítico
Los productos de análisis estático de código de Polyspace®Emplean métodos可以向我们展示在时间上的错误，我们可以在时间上的错误，我们可以在时间上的错误，我们可以在控制上的错误，我们可以在可能的错误上的错误。请大家注意下面的例子:codificación，安全漏洞，métricas, código，错误的分类。
Polyspace代码验证
在时间上的错误，在ejecución críticos上的必要，在código上的必要。
Polyspace错误发现者
Compruebe las reglas de codificación, los estándares de seguridad, las métricas de código, y
localice错误。
为Ada Polyspace
在我们的时间里，在ejecución上，在código上。
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 congregad con MISRA, ISO 26262, IEC 61508, DO-178 y las normas de la FDA。
Proteccion
例如CWE, CERT-C, ISO/IEC 17961等。
日产
Polyspace localizones可以在ejecución的时间内操作错误，además可以在presentarán的时间内操作错误，sean cuales可以在操作条件下操作。
阿莱尼亚·马基公司
Las herramientas e análisis estático de Polyspace comprueban el código en busca de tiempo e ejecución, garantizan la congratad con los estándares de codificación de MISRA和crean arfactos para crédito de certificación DO-178。
Miracor
Polyspace是一个奇迹或一个示范的calidad y corrección ante a comunidad regulado，包括FDA，一个新的可能性处置seguro。
