Our Customers

Blog

11.03.2010 Parallel notes N4 - continuing to study OpenMP constructs
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»

02.03.2010 Parallel notes N3 - base OpenMP constructs
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»

28.02.2010 In what way can C++0x standard help you eliminate 64-bit errors
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»

Articles

10.12.2009 PVS-Studio FAQ
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»

09.12.2009 VivaCore FAQ
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»

23.11.2009 PVS-Studio: using the function "Mark as False Alarm"
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »

News

15.03.2010 Our site has now a new appearance.»

12.03.2010 We have a knowledge base of issues related to 64-bit and parallel software development at our site.»

11.02.2010 We have a new section "Article reviews" on our site viva64.com. »

About Company

Main » About Company

OOO "Program Verification Systems" (Co. Ltd) Company was founded in 2008, and is situated in the city of Tula (200 km from Moscow).

The Company is engaged in software development in the sphere of programs source code analysis. The main spheres of the work are: development and promotion of static code analyzer, PVS-Studio; creation of tools for software testing and quality control. The key technical competences are: 64-bit and parallel programming, and code analysis techniques.

The main software product, PVS-Studio, is the development of the previous ideas - code analyzers Viva64 and VivaMP. Combining Viva64 and VivaMP in one software product, PVS-Studio, allowed to provide the users with one integrated solution for developing up-to-date resource-intensive applications.

The Company technical experts have written a big number of articles about code analysis, 64-bit and parallel programming. The articles are published at the site of the Company as well as at other well-known developers sites (ddj.com, software.intel.com, codeproject.com and others).

Find other details about us:

Feedback Management Team Certificates

Address Scientific work Experience

© 2008 - 2010, OOO "Program Verification Systems"
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73