Our Customers
PVS-Studio |
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
For Developers |
|
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
News
13/04/2009
Softkey.ru, our Viva64 & VivaMP reseller in Russia, Ukraine, Belarus and Kazakhstan
A license contract has been concluded with "Softkey" company for our products selling via this well-known reseller.
Visiting the site www.softkey.ru, OOO "Program Verification Systems" customers from Russia, Ukraine, Belarus and Kazakhstan can purchase static code analyzers Viva64 and VivaMP in an easy and fast way. Buying software via "Softkey" company is also convenient because all the necessary accounting records can be obtained by the buyer according to the regulation of the country of location.
OOO "Program Verification Systems" believe that the license contract conclusion with such a well-known reseller like "Softkey" will render our Viva64 and VivaMP analyzers more familiar and will promote sales.
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
