PolySpace Server for C/C++ 7.1

PolySpace Server™ for C/C++, in conjunction with PolySpace Client™ for C/C++, provides code-based verification that proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code. With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster. Jobs are submitted to the server using PolySpace Client for C/C++. You then use the client to download and visualize verification results.

Support for industry standards is available through IEC Certification Kit (for IEC 61508) and DO Qualification Kit (for DO-178).