Hacker News new | ask | show | jobs
by onion2k 2873 days ago
Functional correctness, formal verification and automated bug fixing.