Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Mimmy
on June 28, 2022
|
parent
|
context
|
favorite
| on:
Hard Things in Computer Science
Interesting... I didn't realize there were large open projects that were formally verified. Are there other examples besides CompCert and seL4?
buescher
on June 28, 2022
|
next
[–]
I don’t know if you’d count it as large, but portions of Amazon FreeRTOS.
deterministic
on July 2, 2022
|
prev
[–]
Formally Proven Binary Format Parsers:
https://www.microsoft.com/en-us/research/publication/hardeni...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: