Продукты семейства Polyspace

Семинары, конференции, мероприятия, вакансии softline и прочее

Модератор: Admin

Admin
Администратор
Сообщения: 487
Зарегистрирован: Ср сен 22, 2004 4:49 pm

Продукты семейства Polyspace

Сообщение Admin » Вт мар 29, 2011 3:20 pm

Продукты семейства Polyspace


27 Марта 2011

На сайт добавлены описания продуктов семейства 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 моделей.