Hacker News new | ask | show | jobs
Formal verification of legacy code after 10 years of production use (blog.adacore.com)
2 points by alexamici 3752 days ago