Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
* Разница между Team и Enterprise
Не получили письмо?
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Почему мы просим корпоративную почту?
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
Не получили письмо?
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS‑Studio для специалистов Microsoft MVP
Почему мы просим корпоративную почту?
Не получили письмо?
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
Почему мы просим корпоративную почту?
Не получили письмо?
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Мне интересно попробовать плагин на:
Почему мы просим корпоративную почту?
Не получили письмо?
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
check circle
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

Главная
>
Публикации

Публикации: статьи

Все Статьи Видео Книги Развлечения
Ошибки
C++ C# Java
#StaticAnalysis
10 Янв 2009
Константин Книжник: статический анализ, взгляд со стороны
Андрей Карпов
Статья представляет интервью, взятое у Константина Книжника, сотрудником компании "Системы программной верификации" Андреем Карповым. Затронуты вопросы статического анализа кода, актуальность...
...
27 Ноя 2008
Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах
Андрей Карпов
Компания "СиПроВер" сообщает о выпуске первой бета-версии статического анализатора Си/Си++ кода VivaMP. Анализатор VivaMP предназначен для диагностики параллельных ошибок в программных...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности
18 Ноя 2008
VivaMP - инструмент для OpenMP
Евгений Рыжков
Инструмент для программистов VivaMP предназначен для помощи разработчикам параллельных программ на базе OpenMP. В статье приведен краткий обзор программного...
...
10 Ноя 2008
OpenMP и статический анализ кода
Андрей Карпов, Евгений Рыжков
В статье рассмотрены принципы, положенные в основу реализации статического анализатора кода VivaMP. Приведенный в статье набор логических условий проверки позволяет диагностировать ряд ошибок...
...
02 Ноя 2008
Тестирование параллельных программ
Андрей Карпов
Тестирование параллельного программного обеспечения представляет собой более сложную задачу по сравнению с тестированием последовательной программы. Программист должен знать о подводных камнях...
...
31 Окт 2008
Сразу две наших статьи опубликованы в журнале "Известия ТулГУ. Технические науки", выпуск N3 – 2008
Андрей Карпов
Статья "Применение статического анализа при разработке программ" и статья "Применение технологии статического анализа кода при разработке параллельных программ" вышли в третьем номере...
...
#Release
15 Окт 2008
Вышла новая версия Viva64 2.20
Андрей Карпов
ООО "СиПровер" сообщает о выходе новой версии анализатора кода Viva64...
...
#Cpp #64bit
12 Окт 2008
Оптимизация 64-битных программ
Андрей Карпов
В статье рассмотрен ряд способов повышения производительности 64-битных Windows...
...
#64bit
02 Окт 2008
Архитектура AMD64 (EM64T)
Андрей Карпов, Евгений Рыжков
В статье кратко рассматривается архитектура AMD64 компании AMD и ее реализация EM64T компании Intel. Описаны особенности архитектуры, ее возможности, достоинства и...
...
08 Сен 2008
Наш новый реселлер - Avangate
Андрей Карпов
ООО "СиПроВер" заключило партнерское соглашение с компанией Avangate (www.avangate.com), предоставляющей сервис для продажи программ в Интернете. Головной офис компании Avangate находится...
...
Показать еще Pagination arrow previous
1
...
129 130 131 132 133
...
136
Показано: - из 1352