Hacker News new | ask | show | jobs
by aSanchezStern 974 days ago
Additionally, formal verification usability is an area of constant research, and the set of software for which it is the best ROI increases over time.