Twitter | Pretraživanje | |
Dr Heidy Khlaaf (هايدي خلاف)
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.
Reply Retweet Označi sa "sviđa mi se" More
Vasu Raman 16. pro
Odgovor korisniku/ci @HeidyKhlaaf
Yessss this was pretty much the biggest insight (to me) from my PhD thesis work.
Reply Retweet Označi sa "sviđa mi se"
Dr Heidy Khlaaf (هايدي خلاف) 16. pro
Odgovor korisniku/ci @likeavass
Do verification for a PhD, 5 years later, realize the real problem was specifications 😭
Reply Retweet Označi sa "sviđa mi se"
God rest ye merry, Scornflake Grrrl 15. pro
Odgovor korisniku/ci @HeidyKhlaaf @JulianBirch
Speaking as a procurement professional, writing specifications is the problem in pretty much anything.
Reply Retweet Označi sa "sviđa mi se"
Dr Heidy Khlaaf (هايدي خلاف) 15. pro
Odgovor korisniku/ci @ScornflakeGrrrl @JulianBirch
Yup! And trying to make them formal is pretty much a nightmare.
Reply Retweet Označi sa "sviđa mi se"
Bob Bishop 15. pro
Odgovor korisniku/ci @HeidyKhlaaf
"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)
Reply Retweet Označi sa "sviđa mi se"
Drew Dean 15. pro
Odgovor korisniku/ci @HeidyKhlaaf @justinesherry
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.
Reply Retweet Označi sa "sviđa mi se"
ShriramKrishnamurthi 16. pro
Odgovor korisniku/ci @HeidyKhlaaf
That's why it's been the focus of my FM research for the past to years...
Reply Retweet Označi sa "sviđa mi se"
victor yodaiken 15. pro
Odgovor korisniku/ci @HeidyKhlaaf @ncweaver
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.
Reply Retweet Označi sa "sviđa mi se"
Dr Heidy Khlaaf (هايدي خلاف) 15. pro
Odgovor korisniku/ci @vyodaiken @ncweaver
This!
Reply Retweet Označi sa "sviđa mi se"
✨ Lizard Queen (Pronouns: TRH-TheirRoyalHighness)✨ 16. pro
Odgovor korisniku/ci @HeidyKhlaaf
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. 🙈
Reply Retweet Označi sa "sviđa mi se"