多空间
关键性附录e protetti
多空间静态分析产品®在数据的控制流的可能性结构中，运行时临界的错误评估方法没有任何形式。包括编码规则中的无校验器、安全漏洞、缺陷分类中的密码和密码。
多空间码验证器
运行时错误评估的形式
多空间Bug查找器
可验证编码规则、sicurezza的gli标准、codice e trova i错误
每Ada多空间
运行时nel codice sorgente中的错误
根据C/C++e Ada对效用和形式进行自动静态分析
质量
Trovare bug e dimostrare formalmente l'assenza在运行时的错误和关键性，senza测试用例o esecuzione del codice。
西库雷扎
Soddisfa gli标准符合MISRA标准、ISO 26262、IEC 61508、DO-178和FDA标准。
西库雷扎
可验证软件的脆弱性。gli标准来自CWE，CERT-C，ISO/IEC 17961，e altri。
日产
运行时错误识别的多空间trova le operazioni che possono subire error，以及达拉斯条件独立运营商的确认。
马基
多空间静态分析的Gli仪器验证运行时每个Gli错误的代码，根据DO-178认证的有效性，协助制定标准。
米拉科尔
Polyspace aiuta Miracor a dimostrare qualityáe correteza alla comunitzád regolamentazione，compresa la FDA，provare la sicurezza del dispositivo。
