Program Verification Systems

Мы разрабатываем, продвигаем и продаем статический анализатор C, C++, C# и Java кода PVS-Studio. Это инструмент для программистов, который экономит деньги компаний за счет раннего обнаружения программных ошибок путем анализа исходного кода. Наша миссия - повышение качества программ. Наша задача - не найти какие-то ошибки, а повысить качество и уровень разработки программного обеспечения. Мы продаём миру идею использования статического анализа кода в целом. Использование методологии статического анализа экономит время при разработке, делает программистов более ответственными, дополнительно контролирует новичков и экономит деньги и нервы конечных пользователей программ. И мы должны донести весть о статическом анализе всему миру. Доносим мы это не абстрактно, а конкретно, предлагая использовать наш анализатор PVS-Studio. Мир благодарен нам за это, что находит отражение в приобретении лицензий. В статьях и выступлениях на конференциях мы НЕ рекламируем PVS-Studio в лоб типа "покупайте PVS-Studio и все будет хорошо". Мы говорим: "Используйте статический анализ кода и всё будет хорошо. Какой? Например, PVS-Studio."