News

5.05.2009 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 “SoftKey”. »

30.04.2009 An article by OOO “Program Verification Systems” developers, “Debugging and optimization of multi-thread OpenMP-programs” has been issued by RSDN Magazine, #4 – 2008. »

20.04.2009 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 and for their performance increase.»

News RSS

Recent Articles

08.06.2009 Getting acquainted with PVS-Studio code analyzer
In the article, a brief description of PVS-Studio code analyzer is given.»

08.06.2009 Parallel Lint
The article describes a new direction in development of static code analyzers – verification of parallel programs. The article reviews several static analyzers which can claim to be called "Parallel Lint".»

11.05.2009 A 64-bit horse that can count
The article concerns the peculiarities of Visual C++ compiler’s behavior when generating 64-bit code and possible errors relating to it.»

Articles RSS

About Company

OOO "Program Verification Systems" Company develops software in the sphere of analysis of source code. Our key activities are: program verification, static code analysis, development of open source library of C/C++ code parsing and analysis, creation of tools for program testings.

 

Software Products

Viva64, a tool for porting your applications to 64-bit platforms
Viva64, a tool for porting your applications to 64-bit platforms.
VivaMP, a parallel programs development tool
VivaMP, a parallel programs development tool.
VivaCore, a source code analysis library
VivaCore, C/C++ code analysis open source library. 

 

Best Articles