Rus
  1. HOME
  2. BLOG

Research and development of OOO "Program Verification Systems" company is supported by FASIE


Research and development of OOO "Program Verification Systems" company is supported by The Foundation for Assistance to Small Innovative Enterprises (FASIE) within the bounds of program.

Picture 775372

FASIE is a non-commercial state organization set up by Russian government resolution No. 65 of February 3, 1994.

The foundation main tasks are:

  • implementation of government policy for the development and support of small innovative enterprises (SME) in the scientific and technical sphere;
  • offering direct financial, informational and other aid to small innovative enterprises, implementing projects of developing and mastering new science intensive products on the basis of intellectual property belonging to these enterprises;
  • creating and developing infrastructure for SME.

About FASIE: http://www.fasie.ru/


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;
Previous
Next


Similar Posts

Characteristics of PVS-Studio Analyzer by the Example of EFL Core Libraries, 10-15% of False Positives

After I wrote quite a big article about the analysis of the Tizen OS code, I received a large number ...

How PVS-Studio Proved to Be More Attentive Than Three and a Half Programmers

Just like other static analyzers, PVS-Studio often produces false positives. What you are about to read is a short story ...

Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities

A brief description of technologies used in the PVS-Studio tool, which let us effectively detect a large number of error ...
All articles →

Bugs Found

Checked Projects
344
Collected Errors
12 970

Recent Posts

All articles →

Do you make errors in the code?

Check your code
with PVS-Studio

Static code analysis
for C, C++, C# and Java

goto PVS-Studio;