Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept
to the top
>
Posts

Posts

Nov 16 2009
Our company proves competence in Intel Partner Program!
Andrey Karpov
Intel's initiative named "Intel Partner Program" is aimed at uniting companies which use Intel technologies in program...
...
Nov 16 2009
Be careful when working with atomic directive
Andrey Karpov
I would like to tell you about an error that a person not familiar with OpenMP technology too well can easily make. The error is related to a wrong supposition about how atomic directive...
...
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
Nov 13 2009
Our company has presented PVS-Studio within the scope of "Platform 2010" conference
Andrey Karpov
The annual conference by Microsoft called "Platform 2010" was held on November 12 and 13 in Moscow. The conference "Platform" is a localized Russian analogue of PDC global...
...
Nov 10 2009
PVS-Studio prints the error "Some diagnostic messages may contain incorrect line number for file ..." (continuation)
Evgenii Ryzhkov
We have already written about the causes of the warning "Some diagnostic messages may contain incorrect line number for file ...". Let me remind you that multi-line #define directives are...
...
Nov 08 2009
Interview with Anatoliy Kuznetsov, the author of BitMagic C++ library
Andrey Karpov
In this article, Anatoliy Kuznetsov answers the questions and tells us about the open BitMagic C++...
...
Nov 08 2009
Are 64-bit errors real?
Andrey Karpov
I often hear in various interpretations the phrase: "The given examples show not the code incorrect from the viewpoint of porting to x64 systems, but the code incorrect in itself". I would like...
...
Oct 29 2009
Meeting of Intel Software Network participants
Andrey Karpov
On October, 29, Intel company arranged a meeting of the most active participants of Intel Software Network. The meeting took place in Moscow department of Intel company and was of an...
...
Oct 28 2009
CEE-SECR 2009
Andrey Karpov
Our company participated in the conference CEE-SECR 2009 that took place on October, 28-29, and presented the report "Diagnosis of errors in parallel programs at early...
...
Oct 27 2009
Visiting Softool Exhibition
Andrey Karpov
We continue to visit exhibitions connected with the software development. This time, we have visited the most prestigious exhibition in Russia, Softool 2009, which took place on October 27-30...
...
Oct 22 2009
OOO "Program Verification Systems" has visited ChipEXPO-2009 exhibition
Andrey Karpov
ChipEXPO - the leading Russian exhibition on electronics, microelectronics and components - in 2009 is held for the 7th time. The exhibition ChipEXPO is organized since 2003 under the support of...
...
View more Pagination arrow previous
Showing: 1401-1410 of 1533
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
** 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 want to join the test
* 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