HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by patmorgan23 | Hacker News Reader
Parent
Full thread
patmorgan23
·
Who writes the formal verification spec and when?
View on HN
daishi55
·
I suspect there are already plenty of test suites out there for something as universal as a networking stack.
Reply on news.ycombinator.com