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...
During the period from 2006 to 2008 inclusive 37 articles in Russian and nearly the same number in English have been published on the site www.viva64.com for program developers. These articles...
The article is an interview with Konstantin Knizhnik taken by Andrey Karpov, "Program Verification Systems" company's worker. In this interview the issues of static code analysis, relevance...
OOO "Program Verification Systems" Company informs you that the first beta-version of static C/C++ code analyzer VivaMP has been released. VivaMP is meant for diagnostics of parallel errors...
The tool for programmers VivaMP is intended for helping OpenMP-based parallel software developers. The article gives a brief description of the program...
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...
Testing parallel software is a more complicated task in comparison to testing a standard program. The programmer should be aware both of the traps he can face while testing parallel code and...
The articles "Using Static Analysis in Program Development" and "Adaptation of the technology of the static code analyzer for developing parallel programs" were published in issue N3 of...
