OOO "Program Verification Systems"
Development tools and static analysis solutions
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.»
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.»
OOO "Program Verification Systems" is a creator of the code analyzer Viva64 and the library of source code analysis VivaCore.
Viva64.com Team (i.e. our previous name) was founded in the middle of 2006 to work at the code analyzer Viva64. Viva64 is intended for simplifying development of 64-bit software. The first version of Viva64 was laid out in the Internet December, 31st, 2006.
One of the company work courses is creating specialized code analyzers. We have made a decision to release free open source library of code analysis VivaCore so that potential clients could evaluate technologies of code analysis the company possesses. This library allows you to develop a code analyzer for some concrete tasks without learning the principles of creating code analyzers.
the company development department works out a code analyzer for parallel programs which is called VivaMP; and the sales department works at increasing the number of partners among companies-resellers throughout the world.
 | Download a booklet with information about our software products. |
Home | About Us | Contact Us | Privacy Policy | Terms of Use
© 2006 - 2009, OOO "Program Verification Systems". 300027, Russia, Tula, P.O. Box 1800, Phone +7(4872)38-59-95. Office: Russia, Tula, Kutuzova 100-73.
