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 korisnicima @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.
0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
Odgovor korisnicima @vyodaiken @ncweaver
This!
12:41 - 15. pro 2019.
0 replies
0 proslijeđenih tweetova
0 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.
(


).