ООО "Системы программной верификации". Российская компания, занимающаяся разработкой программного обеспечения в области тестирования программ и систем статического анализа исходного кода. Компания основана в начале 2008 года.
Сокращенное название - ООО "СиПроВер". В основу названия "СиПроВер" положена игра двух слов - "Си" и "проверь".
Официальный сайт компании: http://www.viva64.com/ru/main/.
Компания расположена в городе Туле.
