Yessss this was pretty much the biggest insight (to me) from my PhD thesis work.
-
-
-
Do verification for a PhD, 5 years later, realize the real problem was specifications

- 2 more replies
New conversation -
-
-
Speaking as a procurement professional, writing specifications is the problem in pretty much anything.
-
Yup! And trying to make them formal is pretty much a nightmare.
- 1 more reply
New conversation -
-
-
"Beware of bugs in the above code; I have only proved it correct, not tried it." -- Donald Knuth: Notes on the van Emde Boas construction of priority deques: An instructive use of recursion (1977)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Concur: Formal methods are a spectrum. A formal proof is evidence in support of an assurance case, it is not the end of the story.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
That's why it's been the focus of my FM research for the past to years...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
All you need to do is describe the system vaguely in 2000000 lines of symbol dense formal logic that can't handle basic arithmetic and doesn't really mean anything anyways according to 30 years of Formal Methods Research.
- End of conversation
New conversation -
-
-
Yes. And in whatever required contexts, writing specifications in ways that offer whatever pertinent Indicators of Compromise. And in ways one might meaningfully be able to triage safety/risk according to what has been compromised. And then not cry.
https://twitter.com/heidykhlaaf/status/1206289442484473856?s=21 …https://twitter.com/HeidyKhlaaf/status/1206289442484473856 …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.
(


).