News for hackers. Stuff that matters.

A comment on The CompCert C Compiler. Parent comment

Re:The CompCert C Compiler by extrabajs on Sunday May 26, 2024 @04:28PM (#40485130)
It sounds more like a cautionary tale against bypassing APIs. What part of this is related to formal verification?
[ Parent | on HN ]

There are no comments on this comment yet.