Abstraction of Communication Channels in Promela: A Case Study

Modeling and verifying a price model for congestion control in computer networks using promela/spin

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software

SPINning Parallel Systems Software

Proceedings of the 9th International SPIN Workshop on Model Checking of Software

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications

A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service

FM '08 Proceedings of the 15th international symposium on Formal Methods