Amazed at how often companies that build critical systems dismiss formal methods as "too theoretical" and "not very useful".
-
Formal verification is not magic, it finally relies on the ability of a person to write the proofs. Same as relaying on someone writing code
That's why we are trying to create training programs for formal methods. Companies tell us they don't need them for the reasons I mentioned.
