Protocol design: redefining the state of the art
Gerard J. Holzmann · IEEE Software · 1992
The application of formal methods to high-level protocol design is addressed. A formal method is considered to be one that has the capability of rendering correctness proofs. The traditional and formal design processes are described and compared. The framework for proving logical correctness in protocol engineering is then discussed.>