PolySpace Server™ für C/C++ bietet zusammen mit PolySpace Client™ für C/C++ eine Code-basierte Verifikation, durch die das Auftreten sowie die Abwesenheit von Laufzeitfehlern im Quellcode, wie z.B. Überlauf, Division durch Null oder unzulässiger Array-Zugriff nachgewiesen wird, ohne das Programm auszuführen, den Code zu instrumentieren oder Testfälle zu erzeugen. Mit PolySpace Server für C/C++ können Sie die Code-Verifikation beschleunigen und die Verifikation auf einem Computer-Cluster durchführen. Die Aufträge werden mittels PolySpace Client für C/C++ an den Server gesendet. Anschließend greifen Sie auf den Client zurück, um die Verifikationsergebnisse herunterzuladen und zu visualisieren.