Hacker News (curated)new | past | comments | ask | show | jobs| show hidden

Who writes the formal verification spec and when?


I suspect there are already plenty of test suites out there for something as universal as a networking stack.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact | github