Hacker News new | past | comments | ask | show | jobs | submit login

Interesting... I didn't realize there were large open projects that were formally verified. Are there other examples besides CompCert and seL4?



I don’t know if you’d count it as large, but portions of Amazon FreeRTOS.





Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: