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
Yessss this was pretty much the biggest insight (to me) from my PhD thesis work.
1 reply 0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa -
Odgovor korisniku/ci @likeavass
Do verification for a PhD, 5 years later, realize the real problem was specifications
0 proslijeđenih tweetova 6 korisnika označava da im se sviđa -
Odgovor korisnicima @HeidyKhlaaf @likeavass
I told you that when you visited. (-:
1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
Odgovor korisnicima @ShriramKMurthi @likeavass
I was too young! I didn't understand! 
11:54 - 16. pro 2019.
0 replies
0 proslijeđenih tweetova
1 korisnik označava da mu 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.
(


).