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
10 Aoû 2008
How VivaCore library appeared
Andrey Karpov
The article describes the main preconditions and stages of development of open VivaCore library intended for code analysis and creation of metaprogramming systems. VivaCore project is a...
...
28 Jul 2008
A new version of www.viva64.com site is launched
Andrey Karpov
OOO "Program Verification Systems" announces the end of development and testing of a new version of www.viva64.com site. The main change is support of several languages. Now the whole content of...
...
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
17 Jul 2008
A print version of the article "VivaCore code analysis library" was published in "RSDN Magazine" #1' 2008
Andrey Karpov
The article by OOO "Program Verification Systems" experts devoted to our code analysis library VivaCore was published in RSDN Magazine #1...
...
16 Jul 2008
"Approaches to verification and testing of 64-applications" was printed in magazine "Informatsionnie tehnologii" 7/2008
Andrey Karpov
The article by OOO "Program Verification Systems" workers devoted to the peculiarities of developing 64-bit applications was published in magazine "Informatsionnie tehnologii...
...
#Release
10 Jul 2008
Viva64 2.0 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new major release of source code analyzer Viva64 2.0. Viva64 is a static analyzer of C/C++ code. Viva64 allows to detect...
...
05 Jul 2008
It is difficult
Andrey Karpov
The article concerns the problem of excess of program creation terms as a result of a prejudice that programming is simple and even...
...
02 Jul 2008
Description of VivaVisualCode
Andrey Karpov, Evgenii Ryzhkov
This article concerns the program VivaVisualCode, showing how to use VivaCore library. VivaVisualCode represents in a graphic form the parse tree of the input source code in...
...
01 Jul 2008
OOO "Program Verification Systems" is now situated in a new office
Andrey Karpov
OOO "Program Verification Systems" is now situated in a new...
...
07 Jui 2008
In ISP RAS a seminar took place in which our specialists participated
Andrey Karpov
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...
...
#Cpp #64bit
30 Mai 2008
Comparison of analyzers' diagnostic possibilities at checking 64-bit code
Andrey Karpov
The article compares a specialized static analyzer Viva64 with universal static analyzers Parasoft C++Test and Gimpel Software PC-Lint. The comparison is carried within the framework of the task...
...
View more Pagination arrow previous
1
...
143 144 145 146 147 148
Showing: - of 1478