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.
I suspect there are already plenty of test suites out there for something as universal as a networking stack.