IEEE Transactions on Communications · 1982 · 22 citations · 12 references
ComputingComputer EngineeringComputer ScienceFormal MethodsAssertion-based VerificationData Link LayerDeductive VerificationProtocol VerificationVerificationAutomated Protocol VerificationAutomatic Protocol VerificationData Link Layer ProtocolsData Link ProtocolsHigh-level Data Link ControlProtocol Formal VerificationSystem Verification
A version of the standard high level data link control protocol has been verified as an experiment with an automated verification system. This paper tries to answer questions such as: How can HDLC and its properties be represented? To what extent can they be proved? What are the main obstacles in verifying protocols like HDLC?
12
Verifying properties of parallel programs
Susan Owicki, David Gries · Communications of the ACM · 1976 · 543 citations · Full text
Finite state description of communication protocols
Gregor von Bochmann · Computer Networks (1976) · 1978 · 282 citations
N.V. Stenning · Computer Networks (1976) · 1976 · 173 citations