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

(8)

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

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)