Hacker News new | ask | show | jobs
by verdverm 1774 days ago
Formal verification is one of the topics / search terms iirc