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.»
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.
