|
@likeavass | |||||
|
Yessss this was pretty much the biggest insight (to me) from my PhD thesis work.
|
||||||
|
||||||
|
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…
|
||
|
|
||
|
Dr Heidy Khlaaf (هايدي خلاف)
@HeidyKhlaaf
|
16. pro |
|
Do verification for a PhD, 5 years later, realize the real problem was specifications 😭
|
||
|
|
||
|
ShriramKrishnamurthi
@ShriramKMurthi
|
16. pro |
|
I told you that when you visited. (-:
|
||
|
|
||