News for hackers. Stuff that matters.

A comment on You Don't Know Jack About Formal Verification. Parent comment

Re:You Don't Know Jack About Formal Verification by deterministic on Monday June 29, 2026 @11:39PM (#48728244)
Check out seL4 and CompCert for real-world examples of complex software proven correct and used in industry.
[ Parent | on HN ]

There are no comments on this comment yet.