|
@HeidyKhlaaf | |||||
|
Do verification for a PhD, 5 years later, realize the real problem was specifications 😭
|
||||||
|
||||||
|
Dr Heidy Khlaaf (هايدي خلاف)
@HeidyKhlaaf
|
15. pro |
|
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.
|
||
|
|
||
|
ShriramKrishnamurthi
@ShriramKMurthi
|
16. pro |
|
I told you that when you visited. (-:
|
||
|
|
||
|
Dr Heidy Khlaaf (هايدي خلاف)
@HeidyKhlaaf
|
16. pro |
|
I was too young! I didn't understand! 😭
|
||
|
|
||
|
Nicolai
@vonneudeck
|
16. pro |
|
As an anthropologist workings in ops I'm glad that you end up with the same result from a CS starting point.
|
||
|
|
||