Are there standards for verification of algorithms and software in the industry?

Question

Programming

The example is exaggerated, I give it purely for clarity of the question. Let's say there is an automated complex that controls the quality of metal sheets that will go to the skin of aircraft. The degree of responsibility is very high, skipping a defective sheet can lead to a plane crash. Hence the great demands on the work of the complex, it must not miss a marriage. All components (sensors, etc.) must be checked and calibrated. But in addition to the hardware, there is also software that processes all incoming data and produces a result. Accordingly, the question itself is - how is software and algorithms verified in such situations? Are there any standardized methods for checking the correctness, GOSTs, etc.?

Answer 1

https://ru.wikipedia.org/wiki/Static_code_analysis
On Habré, these dudes write about it: https://habr.com/ru/company/pvs-studio/
But this is never a standard, of course.

Answer 2

Of course there is, Rooster for example. Only this is a very difficult process , few people can afford to hire specialists of this level and spend so much time.