Protocol validation — principles and applications

DOI10.1016/0169-7552(92)90110-CMaRDI QIDQ4017601zbMATH OpenFDO

Authors Colin H. West

Publication date 16 January 1993

Published in Computer Networks and ISDN Systems (Search for Journal in Brave)

zbMATH Keywords

verificationreachability analysisformal description techniquesautomated protocol validationrandom walk validation

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• An improved protocol validation technique for a class of communication models
• One step forward: linking wireless self-organizing network validation techniques with formal testing approaches
• scientific article; zbMATH DE number 3980447
• An algorithmic technique for protocol verification
• Probabilistic verification of communication protocols

Cited in

(7)

• Analyzing the Impact of Protocol Changes on Tests
• Probabilistic verification of communication protocols
• An improved protocol validation technique for a class of communication models
• A new method for constructing pair-wise covering designs for software testing
• Search algorithms for automated validation
• One step forward: linking wireless self-organizing network validation techniques with formal testing approaches
• Wireless protocol validation under uncertainty

This page was built for publication: Protocol validation — principles and applications

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