Hacker News new | ask | show | jobs
by PQfanboy 2733 days ago
Formal verification: https://en.wikipedia.org/wiki/Formal_verification