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

All tags:

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...
...
#Release
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...
...
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
#Cpp #64bit
Oct 12 2008
Optimization of 64-bit programs
Andrey Karpov
Some means of 64-bit Windows applications performance increase are considered in the...
...
#64bit
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...
...
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...
...
#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...
...
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...
...
View more Pagination arrow previous
1
...
132 133 134 135 136
...
138
Showing: - of 1377