A very prominent radar company: "We make hard real-time radars with nvidia gpus." Me: "How do you guarantee that? What methods did you use..
Amazed at how often companies that build critical systems dismiss formal methods as "too theoretical" and "not very useful".
-
-
-
..to prove it?" They: "We tested it for a week and nothing broke so it's all good!" Me: *facepalm* Yes, this is a true story.
End of conversation
New conversation -
-
-
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.
End of conversation
New conversation -
-
-
Theoretical = something complicated I don't understand very well. Not very useful = hard to explain to my manager why it's important.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.