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.https://twitter.com/Conaw/status/1206137383839649792 …
Odgovor korisniku/ci @HeidyKhlaaf
"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)
12:30 - 15. pro 2019.
0 replies
0 proslijeđenih tweetova
7 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.