Our website uses cookies to enhance your browsing experience.
Accept
to the top
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
* Difference between Team and Enterprise
Didn't get our email?
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
Why do we ask to use Business Email?
New License
License Renewal
--Select currency--
USD
EUR
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
Why do we ask to use Business Email?
Didn't get our email?
* 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
Why do we ask to use Business Email?
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
Why do we ask to use Business Email?
Didn't get our email?
* 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 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.

Home
>
Posts

Posts

All Articles Video Books Entertainment
Errors
Apr 04 2008
Advantages of Viva64
Andrey Karpov, Evgenii Ryzhkov
The purpose of this commercial article is to show advantages of Viva64 tool throughout the life cycle of software...
...
Apr 01 2008
Announcing VivaCore 1.0
Andrey Karpov
While investigating the sphere of static analysis and working at the creation of the Viva64 tool OOO "Program Verification Systems" company came to a conclusion that the most part of the...
...
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
Mar 21 2008
Viva64.com Team has become OOO "Program Verification Systems"
Andrey Karpov
We inform that Viva64.com Team - the creator of the code analyzer Viva64 and the library of source code analysis VivaCore - was transformed into OOO "Program Verification...
...
Feb 16 2008
Adaptation of the technology of the static code analyzer for developing parallel programs
Andrey Karpov, Evgenii Ryzhkov
In the article the question of use of the static code analyzers in modern parallel program development processes is considered. Having appeared in 70-80s as an addition to compilers, the...
...
Feb 10 2008
Development of resource-intensive applications in Visual C++
Andrey Karpov, Evgenii Ryzhkov
The article will familiarize application developers with tasks given them by the mass introduction of 64-bit multi-core processors symbolizing revolutionary increase of computing power available...
...
Jan 31 2008
Using Static Analysis in Program Development
Alexey Kolosov
Static analysis allows checking program code before the tested program is executed. The static analysis process consists of three steps. First, the analyzed program code is split into tokens...
...
Jan 21 2008
Introduction into the problems of developing parallel programs
Andrey Karpov
As developing parallel software is rather a difficult task at present, the questions of theoretical training of specialists and investigation of methodology of projecting such systems become...
...
Jan 12 2008
The use of the code analysis library OpenC++: modifications, improvements, error corrections
Andrey Karpov
The article may be interesting for developers who use or plan to use OpenC++ library (OpenCxx). The author tells about his experience of improving OpenC++ library and modifying the library...
...
Jan 12 2008
Brief description of the VivaCore code analysis library
Andrey Karpov, Evgenii Ryzhkov
While investigating the sphere of static analysis and working on the creation of the Viva64 tool our team came to a conclusion that the most part of the developed structures and algorithms can...
...
Jan 09 2008
The essence of the VivaCore code analysis library
Andrey Karpov, Evgenii Ryzhkov
The article tells developers about VivaCore library, preconditions of its creation, its possibilities, structure and scope of use. This article was written simultaneously with the development...
...
View more Pagination arrow previous
1
...
137 138 139 140 141
Showing: - of 1403