Home

Компания ООО «Системы программной верификации» занимается разработкой программного обеспечения в области анализа исходного кода программ. Основные направления наших работ: верификация программ, статический анализ кода, развитие открытой библиотеки разбора и анализа Си/Си++ кода, создание инструментария для тестирования программных продуктов.

Публикации:

• Тестирование параллельных программ
• Проблемы тестирования 64-битных приложений
• Как мы тестируем анализатор кода