Pour obtenir une clé
d'essai remplissez le formulaire ci-dessous
Demandez des tariffs
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
USD
EUR
RUB
* 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é.

Votre message a été envoyé.

Nous vous répondrons à


Si vous n'avez toujours pas reçu de réponse, vérifiez votre dossier
Spam/Junk et cliquez sur le bouton "Not Spam".
De cette façon, vous ne manquerez la réponse de notre équipe.

>
>
In ISP RAS a seminar took place in whic…

In ISP RAS a seminar took place in which our specialists participated

07 Jui 2008
Author:

In Institute for System Programming of Russian Academy of Science situated 25 B. Kommunisticheskaya str., Moscow, a seminar devoted to the questions of developing 64-bit applications and static analysis took place.

n0009_news/image1.png

OOO "Program Verification Systems" experts made a report "Static analysis of source code of 64-bit C/C++ applications". After the report a discussion with the Institute's staff took place.

ISP RAS [RU] was founded January 25th, 1994 on the basis of former Cybernetics Issues Institute of RAS. ISP RAS is included into Mathematical Sciences Department of RAS.

The Institute works in the following spheres: fundamental research; applied research in the interests of industry; education.

Comments (0)

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