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

Nov 02 2008
Testing parallel programs
Andrey Karpov
Testing parallel software is a more complicated task in comparison to testing a standard program. The programmer should be aware both of the traps he can face while testing parallel code and existing methodologies and toolkit.
...
Oct 31 2008
Our two articles are published in the magazine "Izvestiya TulGU. Tehnicheskie Nauki", issue N3 - 2008
Andrey Karpov
The articles "Using Static Analysis in Program Development" and "Adaptation of the technology of the static code analyzer for developing parallel programs" were published in issue N3 of "Izvestiya TulGU. Tehnicheskie Nauki" magazine, 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
Oct 15 2008
Viva64 2.20 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new release of source code analyzer Viva64 2.20.
...
Oct 12 2008
Optimization of 64-bit programs
Andrey Karpov
Some means of 64-bit Windows applications performance increase are considered in the article.
...
Oct 02 2008
AMD64 (EM64T) architecture
Andrey Karpov, Evgenii Ryzhkov
The article briefly describes AMD64 architecture by AMD Company and its implementation EM64T by Intel Company. The architecture's peculiarities, advantages and disadvantages are described.
...
Sep 08 2008
Our new reseller is Avangate
Andrey Karpov
OOO "Program Verification Systems" has concluded a partner agreement with Avangate company (www.avangate.com) which provides services for Internet sales of programs. The headquarters of Avangate company is located in Amsterdam (Holland).
...
Sep 05 2008
Viva64 2.10 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new release of source code analyzer Viva64 2.10. Main feature of this version it's a support of Visual Studio 2008 Service Pack 1.
...
Sep 01 2008
OOO "Program Verification Systems" and E.G.S. s.r.l. announced completion of development of 64-bit version of LEIOS
Andrey Karpov
OOO "Program Verification Systems" has finished testing the code of software products of LEIOS family by an Italian company E.G.S. s.r.l.. The aim of the work was to check the compatibility of the code with 64-bit systems. The testing was performed with the help of...
...
Aug 26 2008
A print version of the article "32 OpenMP traps for C++ developers" was published in "RSDN Magazine #2' 2008"
Andrey Karpov
The article by OOO "Program Verification Systems" experts devoted to the peculiarities of developing parallel applications using OpenMP technology was published in RSDN Magazine #2' 2008.
...
Aug 10 2008
Detection of vulnerabilities in programs with the help of code analyzers
Elena Haritonova
At present there are a lot of tools intended for automating search of program vulnerabilities. This article describes some of them.
...
View more
Showing: - of 1289
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept