|
@vyodaiken | |||||
|
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 |
|
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
|
15. pro |
|
This!
|
||
|
|
||
|
victor yodaiken
@vyodaiken
|
15. pro |
|
to be fair,it's a lot more than 30 years. Dave Parnas once told me one of his colleagues had lost his academic strong point when expertise on the Selectric typewriter symbol ball was replaced by Latex. pic.twitter.com/yUAjlm1zOY
|
||
|
|
||