4 ms·
Microsoft is already using quite a bit of money doing this for example they have made the language F* which have been used to write a verifiable implementation
by erk__ 7y ago
Microsoft is already using quite a bit of money doing this for example they have made the language F* which have been used to write a verifiable implementation of https.
https://www.fstar-lang.org/ https://www.fstar-lang.org/
https://project-everest.github.io/ https://project-everest.github.io/
- saagarjha 7y agoI'm not saying that Microsoft isn't doing good work in this area; it's just that it's impractical to pick an old component that's recently found to have vulnerabilities in it and try to blame Microsoft for not having the foresight to write it in a formally verified way.