I guess someone like that is confused of which industry they are an "expert" in :D
If an "industry expert" doesn't understand in what way model checkers can be useful for hardware developers then I don't know in what industry that person is an expert in. Do people applying for math research grants also have to explain addition in their grant applications?
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
maybe ask a math person why division needs to be a thing, when division causes so much pain and suffering in the world, why not just "be fruitful and multiply"... otherwise, one could just throw untested Verilog at the HW problem and assume it works until proven otherwise...
-
Not sure if that is a better analogy but here we go: "Why do we need proofs, why can't we just come up with theorems and just move forward and innovate?"
End of conversation
New conversation -
-
-
From my personal experience now I can advise anyone to not try to get into business with
@darpa. They use "industry experts" to decide if they are going fund innovative research. -
See also Clarke's first law: https://en.wikipedia.org/wiki/Clarke%27s_three_laws …
- Show replies
New conversation -
-
-
Verification always gets a back seat until there's an error. Then they fix the error and it gets the back seat again. It's not "sexy" to make things correct, it seems.
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.