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

Services

Main » Services

At OOO “Program Verification Systems”, we create software verification tools, as well as carry out subcontracting works: from writing special analyzers for particular tasks of customers to participating in various projects and their carrying out, both partially and completely.

We are ready to consider propositions in carrying out works in your projects or creating verification tools on mutually beneficial conditions.

Code Analyzers

Our main directions are 64-bit and parallel programming. We started in 2006 beginning with Viva64 creation, a source code static analyzer for programs written in C/C++ languages and designed for 64-bit systems or for being ported to such systems. Later, a tool for parallel programs verification created on OpenMP technology, VivaMP, appeared. At present, both verification tools are combined into one suite, PVS-Studio.

Static code analyzers allow to detect errors in the source code without starting the program itself. These are plug-ins into Microsoft Visual Studio 2005/2008 development environment, which detect possible problem code lines and inform the developer about them, suggesting variants of error correction. Such verification tools evidently speed up errors search and correction and bring down the project cost.

We offer:

  • Development of new code analyzers for a particular project of a particular customer;
  • Partnership as a subcontractor in code analyzers development together with the companies working in the same sphere.

Code Migration and Paralleling

We specialize in projects and verification tools which refer to 64-bit and parallel programming, and have great experience in verification of software designed for work on 64-bit platforms, in programs paralleling and software testing concerning such platforms.

We offer:

  • Your existing projects migration to 64-bit platforms;
  • Development of parallel versions of existing applications.