Polyspace^® Code Prover™ Server™ является звуковым механизмом статического анализа, который доказывает отсутствие переполнения, разделите на нуль, за пределы, доступ к массиву и определенные другие ошибки времени выполнения в C и Коде С++. Это выполняет межпроцедурный анализ всего возможного управления и потоков данных, включая многопоточный код, чтобы идентифицировать каждую операцию как всегда безопасный, всегда дефектный, недостижимый, или уязвимый. Polyspace Code Prover Server идентифицирует сегменты кода, которые свободны от ошибок времени выполнения, которые, как доказывают, перестали работать, недостижимый, или бездоказательный.

Polyspace Code Prover Server может работать на машине класса сервера и может быть интегрирован в сборку и непрерывные системы интегрирования для инструментов использования автоматизированной верификации, таких как Дженкинс. Результаты анализа могут быть опубликованы к Polyspace Code Prover Access™ для медицинской сортировки и разрешения.

Поддержка промышленных стандартов доступна через IEC Certification Kit (для IEC 61508 и ISO 26262) и DO Qualification Kit (for DO-178).