Applying a new decomposition method to verify communication protocols
References (35)
- et al.
Protocol Validation By Fair Progress State Exploration
Computer Networks and ISDN Systems
(1985) - et al.
PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols
IEEE Transaction on Software Engineering
(1988) - et al.
Using Partial Orders for Efficient Verification of Deadlock Freedom and Safety Properties
- et al.
Maximal Progress State Exploration
Computer Communication Review
(1983) Closed Covers: To Verify Progress of Communicating Finite State Machines
IEEE Trans. on Software Engineering
(1984)Information Processing Systems—Open Systems Interconnection—Service Definition for the Association Control Service Element
ISO 8649
(1988)Information Processing Systems—Open Systems Interconnection—Protocol Specification for the Association Control Service Element
ISO 8650
(1988)The Pandora System—An Interactive System for the Design of Data Communication Protocols
Computer Networks
(1984)An Improved Protocol Reachability Analysis Technique
- et al.
Protocol Verification Algorithm Using Reduced Reachability Analysis
IECE Transactions on Communications
(1983)
On-line Model-checking for Finite Linear Temporal Logic Specifications
A New Algorithm for Fast Protocol Validation
Verification Results for ISO FTAM Basic Protocol
Simulation and Verification of Protocol Using Deductive Machine
SIMULATION, Journal of the Society for Computer Simulation
(1995)
Protocol Verification via Projections
Theory of Deductive Systems for Protocol Verification
Cited by (0)
Copyright © 1998 Published by Elsevier Inc.