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 do not see the email in your inbox, please check if it is filtered to one of the following folders:

  • Promotion
  • Updates
  • Spam

Webinar: Evaluation - 05.12

Registration
Home
>
Posts

Posts: articles

All Articles Video Books Entertainment
Errors
C++ C# Java

All tags:

Nov 10 2008
OpenMP and static code analysis
Andrey Karpov, Evgenii Ryzhkov
The article describes principles on which implementation of the static code analyzer VivaMP is based. The described set of testing logical conditions allows you to diagnose some errors in...
...
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...
...
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 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...
...
#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...
...
View more Pagination arrow previous
1
...
136 137 138 139 140
...
142
Showing: - of 1419