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"
Bob Bishop
"Beware of bugs in the above code; I have only proved it correct, not tried it." -- Donald Knuth: Notes on the van Emde Boas construction of priority deques: An instructive use of recursion (1977)
Reply Retweet Označi sa "sviđa mi se" More