|
@rbgidcouk | |||||
|
"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)
|
||||||
|
||||||
|
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…
|
||
|
|
||