3 ms·
If the specification of the protocol isn't verified, it doesn't matter if the implementation of the protocol is verified to match the spec.
by wyager 9y ago
If the specification of the protocol isn't verified, it doesn't matter if the implementation of the protocol is verified to match the spec.
- naasking 9y agoOr to be more specific: verify that the protocol satisfies the properties you want from it (i.e security, robustness, what-have-you), then verify the implementation correctly implements the protocol.