Software by OOO "Program Verification Systems" in Select Software Catalog

Andrey Karpov
Articles: 565

In June 2009, our static code analyzers appeared in the catalog of Select Software reseller (, which is present at one of the world largest and dynamic software markets - that of India and Middle East. This is the second foreign reseller (and the fourth one in total) in the catalog of which our software is now present. The presence of several resellers indicates the interest from the consumers' side towards products and services proposed by OOO "Program Verification Systems", as well as from the side of the resellers themselves, which, in its turn, proves the demand at the market of static code analyzers which perform 64-bit and parallel applications verification. The members of OOO "Program Verification Systems" team think that the rise of interest towards static code analyzers and 64-bit and parallel programming issues reflected in the appearance of new items in the catalog of a large reseller proves a vast outlook of the software development referring to the aforementioned subject.

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

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;

Andrey Karpov
Articles: 565

Bugs Found

Checked Projects
Collected Errors
14 526
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →