OOO "Program Verification Systems" (Co Ltd)
Our address for post mail and documents: Khalturina 2-98, Tula, Russia, 300034.
Our office: 3rd floor, 57B Pushkinskaya str., Tula, Russia.
Our office on Google Maps
Today we have another high-quality Microsoft project to be checked, which we'll heroically delve into trying to find errors with ...
Amazon recently announced the launch of a new machine-learning based service for automated code reviews aiming at performance optimization.
When we decided to search for errors in the Azure SDK for .NET project, we were pleasantly surprised by its ...
Of course, they take place, but their number is very small in comparison with autumn and spring. We would like ...
During the summer of 2019, Huawei gave a series of presentations announcing the Ark Compiler technology. The company claims that ...
Static code analysis for C, C++, C# and Java
Automatic check of PVS-Studio updates (during the work in IDE and overnight builds). BlameNotifier utility.
Contact Us
