OOO "Program Verification Systems"
Development tools and static analysis solutions
27.11.2008 Beta-version of VivaMP code analyzer designed for error educing in parallel OpenMP programs has been released.»
31.10.2008 Two our articles are published in the magazine “Izvestiya TulGU. Tehnicheskie Nauki”, issue ¹3 – 2008.»
15.10.2008 Announcing Viva64 2.20.»
OOO "Program Verification Systems" is a creator of the code analyzer Viva64 and the library of source code analysis VivaCore.
Viva64.com Team (previous name of our command) 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's work courses is creating specialized code analyzers. We've 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.
At present, the company's development department develops 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 - 2008, OOO "Program Verification Systems". All rights reserved.
