4 ms·
I think ten years is an extremely conservative estimate, since he's giving real-world examples in the talk.
by AlexCoventry 9y ago
I think ten years is an extremely conservative estimate, since he's giving real-world examples in the talk.
- throwaway2048 9y agoThey had real world examples of formally verified code in 1983 too.