Putting this here for the next time "someone" asks the misguided question "why don't you use formal methods to develop Linux": https://web.archive.org/web/20140630071239/http://www.cypherpunks.to/~peter/04_verif_techniques.pdf … Personally, I like to think we have learned from past mistakes...
-
-
I love pointing this out to folks in AWS's Automated Reasoning Group.

-
They have a balanced and pragmatic view on what it's good for today, and where we need to invest in tools and technology. https://aws.amazon.com/security/provable-security/ …
- Pokaż odpowiedzi
Nowa rozmowa -
Wydaje się, że ładowanie zajmuje dużo czasu.
Twitter jest przeciążony lub wystąpił chwilowy problem. Spróbuj ponownie lub sprawdź status Twittera, aby uzyskać więcej informacji.