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.