波尔盖斯
Seguridad para elcódigocrítico
Los ProductosdeAnálisisEstáticodeCódigode Polyspace®Efpleanmétodos正式段Demostrar La Ausencia de Erres en Tiempo deEjecuciónCríticosCondosLOSFlujos de Contoon y Todos Los Flujos de Datos Posibles。Entre Ellos Se Cuentan Comprobadores Para Reglas deCodificación，沃德拉斯德·德塞尔德德，MétricasdeCódigoyCientosde Clases Adicionales de Errowes。
PolySpace代码箴言
Demuestre Formenmente La Ausencia de Erres en Tiempo deEjecuciónCríticosSinnecesidaddeEjecutarCódigo。
Polyspace Bug Finder.
CORTUEBE LAS REGLAS deCodificación，LosEstándaresde Seguridad，LasmétricasdeCódigo，y
localice错误。
适合Ada的Polyspace
Demuestre La Ausencia de Erres en Tiempo deEjecuciónNELCódigoFuente。
AnálisisEstáticodeCódigoIomaTaTizadoMedianteMétodos正规帕拉C / C ++ Y ADA
Calidad.
localice erresty y Demuestre Formenmente La Ausencia de Errowes en Tiempo deEjecuciónCríticos，Sin Necesidad de Casos de Prueba niEjecucióndeCódigo。
Seguridad.
Cumpla LosEstándaresde seguridad y documene la Conformidad Con Misra，ISO 26262，IEC 61508，Do-178 Y Las Normas de la FDA。
protección.
CORTUEBE LAS vUllnerabilidades de Seguridad del Software y LosEstándarestales como cwe，cert-c，ISO / IEC 17961等
日产
Polyspace Localiza Las Operaciones Que Pueden Sufrir Errores en Tiempo deEjecución，Ademásde Identivingar Las Que NuncaTheerArán错误，Sean Cuales Sean Las Condiciones Operativas。
Alenia Aermacchi.
Las Herramientas deAnálisisEstáticodePolyspaceBortuebanElCódigoen Busca de Ergers en Tiempo deEjeciCión，Garantizan La ConformidadConlosEstándaresdeCodificacióndeMisraY Crean Artefactos Para ElCréditodeCertificerCióndo-178。
奇景
Polyspace Ayuda A Miracor A Demostrar La Calidad Y LaCorrecciónAnteLaComunidad Studadora，Cantuida La FDA，Fin De Probar Que Nuestro Disositivo Es Seguro。
