Pour obtenir une clé
d'essai remplissez le formulaire ci-dessous
Demandez des tariffs
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
* En cliquant sur ce bouton, vous acceptez notre politique de confidentialité

Free PVS-Studio license for Microsoft MVP specialists
To get the licence for your open-source project, please fill out this form
** En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

I am interested to try it on the platforms:
** En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

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.



28 Oct 2009

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 stages".

CEE-SECR conference held since 2005 is a crucial event in the sphere of software development in Central and East Europe. It gathers annually more than 500 participants - leading representatives of programming industry of the region's countries. Initially, the conference was positioned as a Russian event but in 2007-2008 it attracted reporters from more than 15 countries and audience from even more countries. In 2009 a decision was made to consider the conference an East-European event. The conference's site - http://2009.secrus.org/ .

At CEE-SECR 2009 conference there were reports of such people as, for example:

  • Grady Booch - the "father" of object-oriented programming, one of the creators of UML language;
  • Igor Agamirzyan - chief manager of the Russian Venture Company, one of the leading Russian experts in the sphere of post-industrial economy and high tech;
  • Lars Bak - the leading developer of Google Chrome browser.

OOO "Program Verification Systems" company was represented at the conference by Andrey Karpov who spoke about the methodology and tools for detecting errors in parallel programs at the stage of writing the code.


Using static code analysis methodology allows to significantly reduce costs on fixing defects at the stage of testing and maintenance. By the examples of PC-Lint, VivaMP and Intel C++ "Parallel Lint" analyzers Andrey demonstrated diagnosis of some errors in multi-thread applications. The report was oriented on the programmers creating parallel Windows-applications in C/C++ languages.

Comments (0)

Next comments
Unicorn with delicious cookie
Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus