|
@HeidyKhlaaf | |||||
|
In the past three years of working on large safety critical systems, I've learned that verification isn't the real problem, but it's writing specifications. Don't @ me. twitter.com/Conaw/status/1…
|
||||||
|
||||||
|
Vasu Raman
@likeavass
|
16. pro |
|
Yessss this was pretty much the biggest insight (to me) from my PhD thesis work.
|
||
|
|
||
|
Dr Heidy Khlaaf (هايدي خلاف)
@HeidyKhlaaf
|
16. pro |
|
Do verification for a PhD, 5 years later, realize the real problem was specifications 😭
|
||
|
|
||
|
God rest ye merry, Scornflake Grrrl
@ScornflakeGrrrl
|
15. pro |
|
Speaking as a procurement professional, writing specifications is the problem in pretty much anything.
|
||
|
|
||
|
Dr Heidy Khlaaf (هايدي خلاف)
@HeidyKhlaaf
|
15. pro |
|
Yup! And trying to make them formal is pretty much a nightmare.
|
||
|
|
||
|
Bob Bishop
@rbgidcouk
|
15. pro |
|
"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)
|
||
|
|
||
|
Drew Dean
@bicoastalddean
|
15. pro |
|
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.
|
||
|
|
||
|
ShriramKrishnamurthi
@ShriramKMurthi
|
16. pro |
|
That's why it's been the focus of my FM research for the past to years...
|
||
|
|
||
|
victor yodaiken
@vyodaiken
|
15. pro |
|
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.
|
||
|
|
||
|
Dr Heidy Khlaaf (هايدي خلاف)
@HeidyKhlaaf
|
15. pro |
|
This!
|
||
|
|
||
|
✨ Lizard Queen (Pronouns: TRH-TheirRoyalHighness)✨
@pvineetha
|
16. pro |
|
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. 🙈
twitter.com/heidykhlaaf/st… twitter.com/HeidyKhlaaf/st…
|
||
|
|
||