Hopefully not. However those stuff historically have been written in Ada or a very restricted set of C.

Presumably, someone writing code for a nuclear power plant would be using astree and get warnings whenever they do anything wrong:

https://www.absint.com/astree/index.htm

It is a shame that it is not accessible to the rest of us. :/

Not accessible? You mean very expensive?