Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Kermit


Citation: James K. Huggins, "Kermit: Specification and Verification". In Specification and Validation Methods ed. E. Börger, Oxford University Press, 1995, 247--293.
Summary: A specification and verification of the Kermit file transfer protocol.
Subjects: Distributed Systems, Protocols, Verification
Download: PostScript, PDF, Compressed PostScript
Notes: