Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312977zbMATH OpenOpenAlexFDO

Authors Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol, Wan Fokkink

Publication date 25 August 2005

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

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

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

Cited in

(7)

• Cones and foci: A mechanical framework for protocol verification
• An incremental specification of the sliding-window protocol
• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• From \(\mu\)CRL to mCRL2: motivation and outline
• Specification and verification of the classical sliding window protocol
• scientific article; zbMATH DE number 1956576 (Why is no real title available?)
• Verification of a sliding window protocol in \(\mu\) CRL and PVS

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Algebraic Methodology and Software Technology

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