Having documentation or source code is nice, but not going to help, because you have to verify the system in question actually conforms to the documentation. With the software - to a certain extent - this is possible with static analysis, but with hardware this is nearly damn impossible.

Nonetheless, having a solid formalizations for network protocols is a good idea. But this just won't happen.