4 ms·
Interesting... I didn't realize there were large open projects that were formally verified. Are there other examples besides CompCert and seL4?
by Mimmy 4y ago
Interesting... I didn't realize there were large open projects that were formally verified. Are there other examples besides CompCert and seL4?
- mbrodersen 4y agoFormally Proven Binary Format Parsers: https://www.microsoft.com/en-us/research/publication/hardening-attack-surfaces-with-formally-proven-binary-format-parsers/ https://www.microsoft.com/en-us/research/publication/hardeni...
- buescher 4y agoI don’t know if you’d count it as large, but portions of Amazon FreeRTOS.