Specification and verification of the classical sliding window protocol

MaRDI QIDQ2979821zbMATH OpenFDO

Authors Dmitri A. Chkliaev, V. A. Nepomnyashchij

Publication date 26 April 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/chkliaev_0.pdf

zbMATH Keywords

automated verificationcommunication protocolcomputer networkformal specificationinteractive theorem provingsliding window protocolverification system PVS

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1956576
• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• Algebraic Methodology and Software Technology
• An incremental specification of the sliding-window protocol
• The sliding-window protocol revisited

Cited in

(8)

• Performance analysis and functional verification of the stop-and-wait protocol in HOL
• An incremental specification of the sliding-window protocol
• The sliding-window protocol revisited
• Compositional verification of a communication protocol for a remotely operated aircraft
• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• scientific article; zbMATH DE number 1956576 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Specification and verification of the classical sliding window protocol

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