OOO "Program Verification Systems" Blog Launch


We pay much attention to writing and publishing articles here in OOO "Program Verification Systems". On the "Articles" page of out site more than 40 various articles concerning static code analysis, 64-bit and parallel applications development are laid out. Many of them are written by the company employees, but there are also articles written by other people.

However, writing articles, we began to notice more often that not all topics which we want to speak on can fit the format of our ordinary article. Sometimes, just an item would be enough. For this reason, we have decided to launch a blog in which our employees could express their thoughts interesting to other people.



Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;



Bugs Found

Checked Projects
336
Collected Errors
12 743