На сайт добавлены описания продуктов семейства Polyspace

Polyspace Client for C/C++ представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде.

Polyspace Server™ for C/C++

Для более производительных (с точки зрения скорости) верификаций, Polyspace Server™ for C/C++ позволяет запускать задачи верификации на вычислительном кластере. Задачи передаются на сервер с клиентской части Polyspace - Polyspace Client for C/C++.

Polyspace® Model Link™ SL расширяет возможности Polyspace Client for C/C++ и Polyspace Server™ for C/C++ инструментами, позволяющими передавать сгенерированный С код напрямую из Simulink моделей.

${message}

${message}