Hacker News new | ask | show | jobs
by deterministic 29 days ago
Check out seL4 and CompCert for real-world examples of complex software proven correct and used in industry.