Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.
No takes yet. Share an insight, caveat, or question.
Sunshine (1979) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: