Protocol validation — principles and applications

DOI10.1016/0169-7552(92)90110-CzbMATH Open0762.68011MaRDI QIDQ4017601FDOQ4017601

Authors: Colin H. West 

Publication date: 16 January 1993

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

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

zbMATH Keywords

verificationreachability analysisformal description techniquesautomated protocol validationrandom walk validation

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Cited In (7)

• Probabilistic verification of communication protocols
• A new method for constructing pair-wise covering designs for software testing
• Search algorithms for automated validation
• Wireless protocol validation under uncertainty
• 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
• Analyzing the Impact of Protocol Changes on Tests

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)