2 ms·
Hopefully not. However those stuff historically have been written in Ada or a very restricted set of C.
by okanat 3y ago
Hopefully not. However those stuff historically have been written in Ada or a very restricted set of C.
- ryao 3y agoPresumably, 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. :/
- 1over137 3y agoNot accessible? You mean very expensive?