波尔盖斯
Sécuriserlece批评
Les Produits Polyspace.®Pour L'Analyze Statique De Code ComperisentdesMéthes块纸倒普鲁弗L'缺席D'Erreurs Run-Time批评Sous Tous Les Plux deContrôleetdeDonnées的可能性。Il Contenent Des Checkers Pour LesRèglesdeCodage，Lesmétriquesdededededeet placeures incrieures d'autres classes de bugs。
PolySpace代码箴言
prouvez l'缺席d'erreurs运行时间批评demanièreformellesansexécuterde code
Polyspace Bug Finder.
VérifiezLESVLESDOCATEAGE，LES Normes deSécurité，Lesmétriquesde Code，et Truvez Les Bugs
适合Ada的Polyspace
Prouvez l'缺席d'erreurs运行时间达美格代码源
分析符号自动化DuCodeàl'AideDeMéthodeFildelles Pour C / C ++等
Qualité.
Truvez Les Bugs et Prouvez L'缺席D'Erreurs Run-Time批评DeManièreFormelleSansexécuterde code ni de Cas de测试。
Sûreté.
尊敬的LES Normes desûretéetdocmodezLaconformitéiuxRéglementationsMisra，ISO 26262，IEC 61508，DO-178等FDA。
Sécurité.
VérifiezLESVULNÉRABILITÉSDESÉCURITÉDULOGICIELet laConformitéAUX常规告诉QUE CWE，CERT-C，ISO / IEC 17961 ET Autres。
日产
Quelles Que Soient Les条件，Polyspace Identifie LesOpérationsceperiesde Produire des Erreurs Run-time et celles qui n'enconnaîtrontuseCune。
Alenia Aermacchi.
les outils polyspace pour l'分析statique de codevérifientque le代码网格comporte pas d'errreurs运行时，Assurent laconformitéavec les normes de Codage Misra EtCréentdes.178
奇景
PolyspacePermetàMiracordeDémontrerLaqualitéetl'Consolatede Ses Designs AuxAutoritésdeRéglementationsafin de prouver que ses appareils sontsûrs。
