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.
| Website | http://www.viva64.com |
| Revenue | $1 million |
| Employees | View employees |
| Founded | 2008 |
| Address | 39 Revolyutsii St, Tula, Tula 300027, RU |
| Industry | Software, Software Development & Design, Developer Tools, Custom Software & Technical Consulting |
| SIC | SIC Code 737 Companies, SIC Code 73 Companies |
| NAICS | NAICS Code 54151 Companies, NAICS Code 541 Companies, NAICS Code 5415 Companies, NAICS Code 54 Companies, NAICS Code 541511 Companies |
Looking for a particular Ooo "Program Verification Systems employee's phone or email?
Ooo "Program Verification Systems Questions
The Ooo "Program Verification Systems annual revenue was $1 million in 2026.
Ooo "Program Verification Systems is based in Tula, Tula.
The NAICS codes for Ooo "Program Verification Systems are [54151, 541, 5415, 54, 541511].
The SIC codes for Ooo "Program Verification Systems are [737, 73].
