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

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

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

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

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

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