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

Apr 20 2009
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - VivaMP 1.10
Andrey Karpov
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - VivaMP 1.10. VivaMP tool is designed for searching parallel errors in the code of applications developed in C++ language with the use of OpenMP technology.
...
Apr 20 2009
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30
Andrey Karpov
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30. Viva64 tool is designed for searching errors in the code of 64-bit applications and for their performance increase.
...
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
Apr 19 2009
Seven Steps of Migrating a Program to a 64-bit System
Andrey Karpov
The article describes the main steps which should be performed to correctly port 32-bit Windows applications onto 64-bit Windows systems. Although the article is meant for developers using C/C++ in Visual Studio 2005/2008 environment, it will be also useful for...
...
Apr 19 2009
VivaMP, system of detecting errors in the code of parallel C++ programs using OpenMP
Alexey Kolosov, Andrey Karpov, Evgenii Ryzhkov
The article lists the results of investigation of mistakes made by programmers using C++ and OpenMP. Static analysis is offered for automatic detection of these errors. The description of VivaMP analyzer integrating into Visual Studio environment and implementing the...
...
Apr 13 2009
Softkey.ru, our Viva64 & VivaMP reseller in Russia, Ukraine, Belarus and Kazakhstan
Andrey Karpov
A license contract has been concluded with "Softkey" company for our products selling via this well-known reseller.
...
Apr 07 2009
OOO "Program Verification Systems" Blog Launch
Andrey Karpov
We pay much attention to writing and publishing articles here in OOO "Program Verification Systems". On the "Articles" page of out site more than 40 various articles concerning static code analysis, 64-bit and parallel applications development are laid out. Many of...
...
Apr 06 2009
Interview with Dmitriy Vyukov - the author of Relacy Race Detector (RRD)
Andrey Karpov
This is an interview with Dmitriy Vyukov - the author of Relacy Race Detector (RRD) tool intended for verifying parallel applications. In this article you will learn about the history of creating RRD, its basic abilities and also about some other similar tools and the...
...
Apr 06 2009
OOO "Program Verification Systems" at "Parallel Computing technologies 2009" Conference
Andrey Karpov
On April, 1, in Nizhegorodsky State University in the context of the conference "Parallel Computing technologies '2009" a Program verification Systems employee Alexey Kolosov spoke out with a report on the following topic: "VivaMP, a system of errors diagnostics in...
...
Mar 26 2009
Development of a static code analyzer for detecting errors of porting programs on 64-bit systems
Evgenii Ryzhkov
The article concerns the task of developing a program tool called static analyzer. The tool being developed is used for diagnosing potentially unsafe syntactic structures of C++ from the viewpoint of porting program code on 64-bit systems. Here we focus not on the...
...
Mar 26 2009
Allsoft.ru, our new reseller for Viva64 and VivaMP in Russia and CIS countries
Andrey Karpov
OOO "Program Verification Systems" Company has concluded a license contract with allsoft.ru reseller, a Softline Company project, for more easy and fast way of selling its software in Russia and CIS countries.
...
View more
Showing: - of 1290
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept