Twitter | Pretraživanje | |
Dr Heidy Khlaaf (هايدي خلاف) 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.
Reply Retweet Označi sa "sviđa mi se"
victor yodaiken
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" More
Dr Heidy Khlaaf (هايدي خلاف) 15. pro
Odgovor korisniku/ci @vyodaiken @ncweaver
This!
Reply Retweet Označi sa "sviđa mi se"
victor yodaiken 15. pro
Odgovor korisniku/ci @HeidyKhlaaf @ncweaver
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.
Reply Retweet Označi sa "sviđa mi se"