Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus
Accepter
to the top
close form

Remplissez le formulaire ci‑dessous en 2 étapes simples :

Vos coordonnées :

Étape 1
Félicitations ! Voici votre code promo !

Type de licence souhaité :

Étape 2
Team license
Enterprise licence
* Différence entre Team et Entreprise
Vous n'avez pas reçu d'email ?
** En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité
close form
Demandez des tarifs
Pourquoi demandons-nous l'email d'entreprise ?
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
USD
EUR
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
La licence PVS‑Studio gratuit pour les spécialistes Microsoft MVP
Pourquoi nous demandons un email d'entreprise ?
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
Pour obtenir la licence de votre projet open source, s’il vous plait rempliez ce formulaire
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
I am interested to try it on the platforms:
Pourquoi nous demandons un email d'entreprise ?
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
check circle
Votre message a été envoyé.

Nous vous répondrons à


Si l'e-mail n'apparaît pas dans votre boîte de réception, recherchez-le dans l'un des dossiers suivants:

  • Promotion
  • Notifications
  • Spam

Webinar: Evaluation - 05.12

Registration
Accueil
>
Posts

Posts

All Articles Video Books Entertainment
Errors
05 Mai 2009
Review of Our Products at Well-Known Reseller "SoftKey" Site
Andrey Karpov
An article about our static analyzers Viva64 and VivaMP has been published at the site of one of the largest resellers in Russia and CIS...
...
30 Avr 2009
Our Article in RSDN Magazine
Andrey Karpov
An article by OOO "Program Verification Systems" developers, "Debugging and optimization of multi-thread OpenMP-programs" has been issued by RSDN Magazine, #4 ...
...
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 #Knowledge #64bit
29 Avr 2009
Change of type alignment and the consequences
Andrey Karpov
When porting software one of the task a developer faces is to change types' sizes and rules of their alignments. Not so long ago we provided support of the diagnosing rule allowing you to detect...
...
20 Avr 2009
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - VivaMP 1.10
Andrey Karpov
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - VivaMP 1.10. VivaMP tool is designed for searching parallel errors in the code of...
...
#Release
20 Avr 2009
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30
Andrey Karpov
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30. Viva64 tool is designed for searching errors in the code of 64-bit applications...
...
#Cpp #64bit
19 Avr 2009
Seven Steps of Migrating a Program to a 64-bit System
Andrey Karpov
The article describes the main steps which should be performed to correctly port 32-bit Windows applications onto 64-bit Windows systems. Although the article is meant for developers using C/C++...
...
19 Avr 2009
VivaMP, system of detecting errors in the code of parallel C++ programs using OpenMP
Alexey Kolosov, Andrey Karpov, Evgenii Ryzhkov
The article lists the results of investigation of mistakes made by programmers using C++ and OpenMP. Static analysis is offered for automatic detection of these errors. The description of...
...
13 Avr 2009
Softkey.ru, our Viva64 & VivaMP reseller in Russia, Ukraine, Belarus and Kazakhstan
Andrey Karpov
A license contract has been concluded with "Softkey" company for our products selling via this well-known...
...
#Cpp
06 Avr 2009
Interview with Dmitriy Vyukov - the author of Relacy Race Detector (RRD)
Andrey Karpov
This is an interview with Dmitriy Vyukov - the author of Relacy Race Detector (RRD) tool intended for verifying parallel applications. In this article you will learn about the history of...
...
06 Avr 2009
OOO "Program Verification Systems" at "Parallel Computing technologies 2009" Conference
Andrey Karpov
On April, 1, in Nizhegorodsky State University in the context of the conference "Parallel Computing technologies '2009" a Program verification Systems employee Alexey Kolosov spoke out with a...
...
View more Pagination arrow previous
1
...
139 140 141 142 143
...
149
Showing: - of 1481