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 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"