scientific article; zbMATH DE number 1956576

MaRDI QIDQ4417917zbMATH OpenFDO

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

Publication date 30 July 2003

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:

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