News

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

News RSS

About Company

OOO "Program Verification Systems" Company develops software in the sphere of analysis of source code. Mainstreams of our work: program verification, static code analysis, development of open source library of C/C++ code parsing and analysis, creation of tools for testing program products.

 

Software Products

Viva64, a tool for porting your applications to 64-bit platforms
Viva64, a tool for porting your applications to 64-bit platforms.
VivaMP, a tool for development of parallel programs
VivaMP, a tool for development of parallel programs.
VivaCore, a source code analysis library
VivaCore, a open source code analysis library for C/C++. 

 

Articles