OOO "Program Verification Systems" (Co. Ltd) Company was founded in 2008, and is situated in the city of Tula (200 km from Moscow).
The Company is engaged in software development in the sphere of programs source code analysis. The main spheres of the work are: development and promotion of static code analyzer, PVS-Studio; creation of tools for software testing and quality control. The key technical competences are: 64-bit and parallel programming, and code analysis techniques.
The main software product, PVS-Studio, is the development of the previous ideas - code analyzers Viva64 and VivaMP. Combining Viva64 and VivaMP in one software product, PVS-Studio, allowed to provide the users with one integrated solution for developing up-to-date resource-intensive applications.
The Company technical experts have written a big number of articles about code analysis, 64-bit and parallel programming. The articles are published at the site of the Company as well as at other well-known developers sites (ddj.com, software.intel.com, codeproject.com and others).
Find other details about us: