To get a trial key
fill out the form below
Team license
Enterprise license
** By clicking this button you agree to our Privacy Policy statement

Request our prices
New License
License Renewal
--Select currency--
USD
EUR
RUB
* By clicking this button you agree to our Privacy Policy statement

Free PVS-Studio license for Microsoft MVP specialists
** By clicking this button you agree to our Privacy Policy statement

To get the licence for your open-source project, please fill out this form
** By clicking this button you agree to our Privacy Policy statement

I am interested to try it on the platforms:
** By clicking this button you agree to our Privacy Policy statement

Message submitted.

Your message has been sent. We will email you at


If you haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

>
Posts
Posts: articles
Jul 17 2008
A print version of the article "VivaCore code analysis library" was published in "RSDN Magazine" #1' 2008
Andrey Karpov
The article by OOO "Program Verification Systems" experts devoted to our code analysis library VivaCore was published in RSDN Magazine #1' 2008.
...
Jul 16 2008
"Approaches to verification and testing of 64-applications" was printed in magazine "Informatsionnie tehnologii" 7/2008
Andrey Karpov
The article by OOO "Program Verification Systems" workers devoted to the peculiarities of developing 64-bit applications was published in magazine "Informatsionnie tehnologii" ("Information Technologies") #7' 2008.
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
* By clicking this button you agree to our Privacy Policy statement
Jul 10 2008
Viva64 2.0 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new major release of source code analyzer Viva64 2.0. Viva64 is a static analyzer of C/C++ code. Viva64 allows to detect incorrect constructions in the code of applications without launching the...
...
Jul 05 2008
It is difficult
Andrey Karpov
The article concerns the problem of excess of program creation terms as a result of a prejudice that programming is simple and even simpler.
...
Jul 02 2008
Description of VivaVisualCode
Evgeniy Ryzhkov, Andrey Karpov
This article concerns the program VivaVisualCode, showing how to use VivaCore library. VivaVisualCode represents in a graphic form the parse tree of the input source code in C++.
...
Jul 01 2008
OOO "Program Verification Systems" is now situated in a new office
Andrey Karpov
OOO "Program Verification Systems" is now situated in a new office.
...
Jun 07 2008
In ISP RAS a seminar took place in which our specialists participated
Andrey Karpov
In Institute for System Programming of Russian Academy of Science situated 25 B. Kommunisticheskaya str., Moscow, a seminar devoted to the questions of developing 64-bit applications and static analysis took place.
...
May 30 2008
Comparison of analyzers' diagnostic possibilities at checking 64-bit code
Andrey Karpov
The article compares a specialized static analyzer Viva64 with universal static analyzers Parasoft C++Test and Gimpel Software PC-Lint. The comparison is carried within the framework of the task of porting 32-bit C/C++ code on 64-bit systems or developing new code with...
...
May 20 2008
32 OpenMP Traps For C++ Developers
Evgeniy Ryzhkov, Alexey Kolosov, Andrey Karpov
Since multi-core systems are spreading fast, the problem of parallel programming becomes more and more urgent. However, even the majority of experienced developers are new to this sphere. The existing compilers and code analyzers, allow finding of some bugs which...
...
May 15 2008
In CC RAS a seminar took place in which our specialists participated
Andrey Karpov
In Computing Centre named after A.A.Dorodnitsin of Russian Academy of Sciences, situated 40 Vavilova str., Moscow, a seminar devoted to the questions of static code analysis took place.
...
View more
Showing: - of 1227
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience. Would you like to learn more?
Accept