logoalt Hacker News

patmorgan23today at 12:45 PM1 replyview on HN

Who writes the formal verification spec and when?


Replies

daishi55today at 1:21 PM

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