OOO "Program Verification Systems

OOO "Program Verification Systems" is a creator of the code analyzer PVS-Studio 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.