TY  - RPRT
TI  - It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
AU  - David Basin
AU  - Nate Foster
AU  - Kenneth L. McMillan
AU  - Kedar S. Namjoshi
AU  - Cristina Nita-Rotaru
AU  - Jonathan M. Smith
AU  - Pamela Zave
AU  - Lenore D. Zuck
PY  - 2025
UR  - https://arxiv.org/abs/2509.13208
ID  - 2509.13208
ER  -