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

The way static analyzers fight against false positives, and why they do it

In my previous article I wrote that I don't like the approach of evaluating the efficiency of static analyzers with ...

PVS-Studio for Java

In the seventh version of the PVS-Studio static analyzer, we added support of the Java language. It's time for a ...

The Ultimate Question of Programming, Refactoring, and Everything

Yes, you've guessed correctly - the answer is "42". In this article you will find 42 recommendations about coding in ...
All articles →

Bugs Found

Checked Projects
377
Collected Errors
13 692

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;