波尔盖斯
Sicherheit des Kritischen CodesGewährleisten
Die Produkte Zur Statischen Codeanalyse在Polyspace®Basieren AUF Importen Die Die Abwesenheit Kritischer LaufzeitFehler Bei AllenMöglichenSteuerungs- undDatenFlüssen培养。Gepruft Werden Codierungsregeln，Sicherheitsrisiken，Code-Metriken und Hunderte Weiterer Fehlerklassen。
PolySpace代码箴言
Die Abwesenheit Von Krititischen LaufzeitFehlern正式Nachweisen，Ohne代码Auszuführen
Polyspace Bug Finder.
CodierungsRegeln，安全标准，Code-MetrikenPrüfenund Bugs finden
适合Ada的Polyspace
Bestätigungder Abwesenheit von Laufzeitfehlern IM Quellcode
Automatisierte Statische CodeAnalyse Mittels Moremer MethodenFürC/ C ++ und Ada
Qualität.
Finden Sie Bugs Und Beweisen Sie正式Die Abwesenheit Von Krititchen Laufzeitfehlern - OhneTestfälleund Code-ausführung。
Sicherheit.
Stellen Sie DieKonformitätMitSicherheitsStandards Wie Misra，ISO 26262，IEC 61508，Do-178 und FDA-Vorschriften Sicher Und Dokumerieren Sie Sie。
Sicherheit.
Überprüfensie dieKonformität麻省理工学院安全标准Wie CWe，Cert-C，ISO / IEC 17961 und Weiteren。
日产
Polyspace Findets Die Operating，Bei Denen LaufzeitfehlerAuftretenKönnen，Sowie Diejenigen，Bei Denen Niemals Ein LaufleitFehler Eintreten Kann - Ganz Gleich Wie Die Betriebsbedingungen Aussehen。
Alenia Aermacchi.
Bei der Statischen Coceanalyse在Polyspace-Tools Hinblick Auf LaufzeitfehlerÜberpruzüft，Die Einhaltung von Misra编码 - 标准标准Wird Sichergestellt und Es verden ArtefakteFüriedo-178-Zertifizierung Estellt。
奇景
PolyspaceUnterstütztMiracordabei，DieQualitätund FehlerfreiheitGegenüberAufsichtsbehörden，Einschließlichder美国食品和药物管理局（FDA），Zu Beweisen，UM Zu Belenen，Dass UnterBerätsianher。
