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
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
* 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
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
* 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.

>
>
Evgenii Ryzhkov

Posts: Evgenii Ryzhkov

Feb 02 2009
Problems of 64-bit code in real programs: FreeBSD
Evgenii Ryzhkov
While telling people about problems and difficulties of developing 64-bit applications I often hear in response: "You just should write programs well and there will be no problems". What only have...
...
Feb 01 2009
OOO "Program Verification Systems" Blog Launch
Evgenii Ryzhkov
We pay much attention to writing and publishing articles here in OOO "Program Verification Systems". On the "Articles" page of out site more than 40 various articles concerning static code...
...
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
Jan 15 2009
Introduction into 64 bits for the beginners or where's again the 64-bit world?
Evgenii Ryzhkov
There were 64-bit processors, the operational systems, some programs. However completely all users have passed to 64 bits still far not. In article the reasons of it are...
...
Jan 15 2009
Case Study: Porting a set of point cloud and triangle mesh processing C++ libraries to 64-bit platform
Evgenii Ryzhkov
Italian company E.G.S. S.r.l. deals with development of solutions in the field of simulation of triangle mesh-based 3D...
...
Nov 18 2008
VivaMP - a tool for OpenMP
Evgenii Ryzhkov
The tool for programmers VivaMP is intended for helping OpenMP-based parallel software developers. The article gives a brief description of the program...
...
Nov 10 2008
OpenMP and static code analysis
Andrey Karpov, Evgenii Ryzhkov
The article describes principles on which implementation of the static code analyzer VivaMP is based. The described set of testing logical conditions allows you to diagnose some errors in...
...
Oct 02 2008
AMD64 (EM64T) architecture
Andrey Karpov, Evgenii Ryzhkov
The article briefly describes AMD64 architecture by AMD Company and its implementation EM64T by Intel Company. The architecture's peculiarities, advantages and disadvantages are...
...
Jul 02 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...
...
May 20 2008
32 OpenMP Traps For C++ Developers
Alexey Kolosov, Andrey Karpov, Evgenii Ryzhkov
Since multi-core systems are spreading fast, the problem of parallel programming becomes more and more urgent. However, even the majority of experienced developers are new to this sphere...
...
Apr 20 2008
VivaCore - Quick Start
Andrey Karpov, Evgenii Ryzhkov
The document familiarizes developers with VivaCore library giving general information about the library, the scope of use, license agreements. It describes also the process of the...
...
View more Pagination arrow previous
Showing: - of 114