Наша компания ООО "Системы программной верификации" занимается разработкой и сопровождением инструмента PVS-Studio, предназначенного для выявления 64-битных и параллельных ошибок в коде приложений на языке Си/Си++. Пакет PVS-Studio представляет собой набор специализированных статических анализаторов кода, позволяющих осуществлять верификацию исходного кода еще на этапе конструирования и тем самым существенно сокращать затраты на отладку, тестирование и сопровождение программы.

На данный момент наша компания существует исключительно за счет продаж PVS-Studio, однако мы рассматриваем варианты расширения деятельности компании в сторону аутсорсинга. Мы готовы к работе над проектами следующего вида:

1. Разработки в сфере тестирования программ и инструментов контроля стандартов кодирования.
2. Аудит стороннего кода, верификация исходного кода с применением технологии статического анализа.
3. Разработка CAD/CAE систем (имеется соответствующий опыт в рамках сотрудничества с итальянской компанией E.G.S.s.r.l.).
4. Разработка ресурсоемких параллельных приложений.
5. Миграция 32-битных приложений на 64-битные системы.
6. Информационная поддержка компании в интернете и освещение технических вопросов. В качестве примера можно привести наши статьи, опубликованные на многих сайтах, научную деятельность, участие в написании блога компании Intel, а также поддержку форума по 64-битной тематике на сайте Intel Software Network.
7. Другие варианты сотрудничества.

ООО "Системы программной верификации" располагается в городе Туле (200 км. от Москвы). Коллектив компании на данный момент не большой, но быстро может быть расширен до необходимого размера. 

Мы готовы предоставить дополнительную информацию и ответить на все ваши вопросы.


Контактная информация:

Сайт компании: http://www.viva64.com/ru/main/
Электронный ящик: [email protected]
Форма для связи: http://www.viva64.com/ru/about/feedback/
Почтовый ящик: 300027, г. Тула, а/я 1800.
Телефон: +7 (4872) 38-59-95.