OOO "Program Verification Systems"
Development tools and static analysis solutions
05/05/2009An 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/2009An 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/2009OOO “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.
20/04/2009OOO “Program Verification Systems” announces the issue of a new version of the static code analyzer – VivaMP 1.10. VivaMP tool is designed for searching parallel errors in the code of applications developed in C++ language with the use of OpenMP technology.
13/04/2009A license contract has been concluded with “Softkey” company for our products selling via this well-known reseller.
07/04/2009We have decided to launch a blog in which our employees could express their thoughts interesting to other people.
06/04/2009On April, 1, in Nizhegorodsky State University in the context of the conference “Parallel Computing technologies ‘2009” a Program verification Systems employee Alexey Kolosov spoke out with a report on the following topic: “VivaMP, a system of errors diagnostics in C/C++ parallel programs which use OpenMP”.
26/03/2009OOO “Program Verification Systems” Company has concluded a license contract with Allsoft.ru reseller.
23/03/2009On March 23, in the Moscow State University Research Computing Centre a seminar took place with “Program Verification Systems” General Director Evgeniy Ryzhkov taking part in it. The topic of the seminar was “Static Code Analysis for Automatic errors detection in programs porting to 64 bit platforms”.
10/03/2009The final version of the code analyzer VivaMP 1.00 intended for OpenMP-program developers is released.
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.
