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

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

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

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

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

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

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

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

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

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

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


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

Вебинар: Трудности при интеграции SAST, как с ними справляться - 04.04

>
>
Команда Viva64.com преобразована в комп…

Команда Viva64.com преобразована в компанию "Системы программной верификации"

21 Мар 2008

Сообщаем о том, что команда Viva64.com - создатель анализатора кода Viva64 и библиотеки разбора кода VivaCore - преобразована в Общество с ограниченной ответственностью "Системы программной верификации" (ООО "СиПроВер"), английское название "Program Verification Systems". Адрес: 300027, Россия, Тула, Металлургов 70-1-88.

Теперь все права на разработки принадлежат этой компании.

Команда Viva64.com была образована в середине 2006 года для работы над анализатором кода Viva64. Продукт Viva64 предназначен для упрощения разработки 64-битного программного обеспечения. Первая версия Viva64 была выложена в Интернет 31 декабря 2006 года.

Одним из направлений деятельности компании является создание специализированных анализаторов кода. Для того, чтобы потенциальные заказчики могли оценить имеющиеся у компании технологии анализа кода, было принято решение о выпуске бесплатной открытой библиотеки анализа кода VivaCore. Данная библиотека позволяет разработать анализатор кода для каких-то конкретных задач без необходимости разбираться с принципами создания собственно анализаторов кода.

В настоящее время отдел разработки компании занимается созданием анализатора кода для параллельных программ под названием VivaMP. А отдел продаж - активным увеличением количества партнеров среди компаний-реселлеров по всему миру.

Популярные статьи по теме


Комментарии (0)

Следующие комментарии next comments
close comment form