波尔盖斯
Codici批评Sicuri E Protetti
i Prodotti di分析史蒂加德科迪奇多核园®utilizzano Metodi Morefori每Dimostrare L'Assenza di Errori di Runtied Time Tritei在Tutte Le Possibili Strutture di Controllo E Nel Flusso di Dati。Includono Checker di Regole di Codifica，vulnerabilitàdi sicurezza，Metriche del Codice e Centiinaia di Classi Aggiunyive Di Bug。
PolySpace代码箴言
Dimostra Formenmente L'Assenza di Erreri di Run-Ticki Time TranceIns Senza Esecuzione del Codice
Polyspace Bug Finder.
Verifica Le Regole di Codifica，Gli标准Di Sicurezza，Le MetriChe del Codice E Trova I Bug
每只ADA的多层空间
Dimostra l'Assenza di Errori di运行时间Nel Codice Sorgente
analisi statica自动jateizando metodi metodi per c / c ++ E ADA
Qualità.
Trovare Bug E Dimostrare Formenmente L'Assenza di Errori批评Di Run-Time，Senza测试案例O Esecuzione Del Codice。
Sicurezza.
SODDISFA GLI标准DI SICURZZA E DIConformitàDIMISRA，ISO 26262，IEC 61508，DO-178 E Delle规范FDA。
Sicurezza.
Verifica Levullnerabilitàdi sicurezza del软件E Gli标准CWE，CERT-C，ISO / IEC 17961，E Altri。
日产
Polyspace Trova Le Operazioni Che Hossono Subire Errori Di Run-Time E Identifica Anche Quelle Che Non Ne Suboranno Mai Uno，indendentemente Dalla Condizioni手术。
Alenia Aermacchi.
Gli Strumenti di Analisi Statica di Polyspace Verificano Il Codice Per Gli Errori Di Run-Time，Assicurano Il Rispetto Degli标准Di Codifica Misra E Di Creano Artefatti Che Permettono Di Ottienere Crediti Pera ra Pictrazione do-178。
奇景
Polyspace Aiuta Miracor ADimostrareQualitàECrettezzaAllaComunitàdiGreolankaione，包括La Sicurezza del Dissositivo。
