About

Program Verification Systems, Co Ltd  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, 31^st, 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.