Our website uses cookies to enhance your browsing experience.
Accept
to the top
close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
* Difference between Team and Enterprise
Didn't get our email?
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
Why do we ask to use Business Email?
New License
License Renewal
--Select currency--
USD
EUR
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
Why do we ask to use Business Email?
Didn't get our email?
* 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
Why do we ask to use Business Email?
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
Why do we ask to use Business Email?
Didn't get our email?
* 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.

Home
>
Posts

Posts: articles

All Articles Video Books Entertainment
Errors
C++ C# Java
#Release
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...
...
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...
...
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
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...
...
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...
...
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...
...
Jul 28 2008
A new version of www.viva64.com site is launched
Andrey Karpov
OOO "Program Verification Systems" announces the end of development and testing of a new version of www.viva64.com site. The main change is support of several languages. Now the whole content of...
...
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...
...
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...
...
#Release
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...
...
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...
...
View more Pagination arrow previous
1
...
130 131 132 133 134
...
136
Showing: - of 1352