It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.

This article focuses on the current lack of use of formal methods (FM) for network protocols and what can be done to overcome challenges and implement FM for networking communities. Specification in networking communities is a focus as well as examples of successful FM use in real-world protocols, i...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 68; no. 8; pp. 50 - 62
Autores principales:	Basin, David, Foster, Nate, McMillan, Kenneth L., Namjoshi, Kedar S., Nita-Rotaru, Cristina, Smith, Jonathan M., Zave, Pamela, Zuck, Lenore D.
Formato:	Artículo
Publicado:	Association for Computing Machinery Aug2025
Materias:	Formal methods (Computer science) Computer network protocols Internet protocols IEEE Standards Board Internet Engineering Task Force (Organization) Technical specifications
Acceso en línea:	Ver este registro en EBSCOhost