Связаться
Вход
Регистрация
Каталог ПО Импортозамещение
Дилерский каталог

Polyspace Code Prover

Polyspace – набор программ для получения безопасного кода. Code Prover анализирует статический код формальными методами, чтобы доказать отсутствие критических ошибок во время выполнения управляющих команд и операций с потоками данных: переполнения переменных, деления на ноль, неправильной размерности массива и др.

Права на программу для ЭВМ Polyspace Code Prover

Запросить цену
  • Артикул: MTHW19177261
  • Тип поставки: Электронная (e-mail)
  • Язык (версия): Английский
  • Срок поставки лицензионной программы или ключа активации:
    3-14 рабочих дней ?
  • Примечания: Бессрочная лицензия
  • Тип лицензии: Постоянная
  • Тип организации: Коммерческая
  • Оплата картой недоступна
  • Только для юр. лиц и ИП

Новости