Verification and improvement of the sliding window protocol

DOI10.1007/3-540-36577-X_9MaRDI QIDQ4417917zbMATH OpenFDO

Authors Dmitri A. Chkliaev, Jozef Hooman, Erik de Vink

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190113.htm

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• Algebraic Methodology and Software Technology
• Specification and verification of the classical sliding window protocol
• An incremental specification of the sliding-window protocol
• The sliding-window protocol revisited

Cited in

(9)

• An incremental specification of the sliding-window protocol
• The sliding-window protocol revisited
• Non-deterministic transducer models of retransmission protocols over noisy channels
• Compositional verification of a communication protocol for a remotely operated aircraft
• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• Specification and verification of the classical sliding window protocol
• Algebraic Methodology and Software Technology
• Formal analysis of streaming downloading protocol for system upgrading
• Analysis of a biphase mark protocol with Uppaal and PVS

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Verification and improvement of the sliding window protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417917)