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/astre

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 https://www.absint.com/astree/index.htm It is a shame that it is not accessible to the rest of us. :/