to the top
close form
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

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

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

close form
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

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

close form
check circle
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

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.
...
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.
...
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 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.
...
Aug 10 2008
How VivaCore library appeared
Andrey Karpov
The article describes the main preconditions and stages of development of open VivaCore library intended for code analysis and creation of metaprogramming systems. VivaCore project is a development of OpenC++ library in which support of C and C++ language peculiarities...
...
View more Pagination arrow previous
Showing: - of 1308
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept