Программное обеспечение Polyspace Server for C/C++ является серверным верификатором кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения в исходном коде. Для более производительных (с точки зрения скорости) верификаций, Polyspace Server for C/C++ позволяет запускать задачи проверки на вычислительном кластере. Задачи передаются на сервер с клиентской части – Polyspace Client for C/C++. Пользователи могут отправлять задачи на сервер для автономного запуска и получать по электронной почте уведомления по окончании задач. Различные метрики кода, списки ошибок и прочая статистика предоставляются с помощью web-браузера. После окончания верификации результаты удобно загружать обратно в клиентскую часть Polyspace. В Polyspace Server for C/C++ реализована поддержка промышленных стандартов с помощью IEC Certification Kit (для IEC 61508 и ISO 26262) и Do Qualification Kit (для DO 178).
Особенности Polyspace Server for C/C++:

• Доступ к статусу верификации и метрикам через web-браузер.


• Автоматическое планирование задач на кластере и уведомления по электронной почте.


• Собственный планировщик задач.


• Поддержка многоядерных кластеров.


• Автоматическое создание отчетов.


• Одновременная работа в различных операционных системах.