QBS Slogan
QBS Slogan
You are not currently logged in

OOO "Program Verification Systems"

OOO "Program Verification Systems" Company develops software in the sphere of analysis of source code. Their key activities are: program verification, static code analysis, development of open source library of C/C++ code parsing and analysis, creation of tools for testing programs.