我就是多元空间®在可能结构的控制和数据的冲洗中，根据不同的误差和运行时的临界条件，利用模型模型。包括代码检查器，vulnerabilità di sicurezza，代码度量器，分类aggitive di bug。
Polyspace访问
识别密码，修正数据分析和监测数据qualità软件
Polyspace错误发现者
Controlla le regole di codifica, degli standard di sicurezza, delle metriche del code e individual i bug
Polyspace Bug Finder服务器
在esecuzione su计算机服务器上，可以使用识别软件进行分析
Polyspace代码验证
Dimostra formalmente l 'assenza di error ori critical di运行时senza esesguire code
Polyspace代码验证服务器
Dimostrazione dell 'assenza di errori di运行时nel软件
Ada的Polyspace客户端
Dimostrazione dell 'assenza di errori di运行时nel codice sorgente
Ada的Polyspace服务器
Esecuzione della verifica del codice su cluster di computer e publicicazione delle metric
根据C/ c++的Ada进行静态自动分析
Qualita
Trova bug e dimostra formalmente l 'assenza di error ori critici di运行时，senza casi di test o esecuzione del code。
Sicurezza
Soddisfa gli标准di sicurezza e di conformità di MISRA, ISO 26262, IEC 61508, DO-178 e delle标准FDA。
Sicurezza
Verifica le vulnerabilità di sicurezza del软件标准来自CWE, CERT-C, ISO/IEC 17961, e altri。
沃尔沃汽车
Con Polyspace, possiamo garantire la sicurezza e la qualità软件个人，e correggendo，错误，批评，运行时，第一，统一，上帝。
阿莱尼亚·马基公司
i strumenti di analisi statica di Polyspace verificano il codice per glii errori di运行时，assicurano il rispetto degli standard di codifica MISRA e creano artefatti che渗透性tono di ottenere crediti validi per la certificazione DO-178。
Miracor
Polyspace aiuta Miracor a dimostrare qualità e correttezza真主安拉comunità di regolamentazione, compresa la FDA, per provare la sicurezza del dispositivo。
您也可以从以下列表中选择网站: