Team has become OOO "Program Verification Systems"

We inform that Team - the creator of the code analyzer Viva64 and the library of source code analysis VivaCore - was transformed into OOO "Program Verification Systems". Our address is as follows:

70-1-88 Metallurgov str.,

Tula, Russia,


Now all the rights on the development belong to this company. Team was founded in the middle of 2006 to work at the code analyzer Viva64. Viva64 is intended for simplifying the development of 64-bit software. The first version of Viva64 was laid out on the Internet December, 31st, 2006.

One of the company work courses is creating specialized code analyzers. We have made a decision to release free open source library of code analysis VivaCore so that potential clients could evaluate technologies of code analysis the company possesses. This library allows you to develop a code analyzer for some concrete tasks without learning the principles of creating code analyzers.

At present, the company development department works out a code analyzer for parallel programs which is called VivaMP; and the sales department works at increasing the number of partners among the reselling companies throughout the world.

Use PVS-Studio to search for bugs in C, C++, C# and Java code

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;

Bugs Found

Checked Projects
Collected Errors
12 668