Protocol validation — principles and applications
- 1 May 1992
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 24 (3) , 219-242
- https://doi.org/10.1016/0169-7552(92)90110-c
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Protocol verification for OSIComputer Networks and ISDN Systems, 1990
- Algorithms for Automated Protocol VerificationAT&T Technical Journal, 1990
- Format and protocol language (FAPL)Computer Networks and ISDN Systems, 1987
- Protocol verification using reachability analysis: the state space explosion problem and relief strategiesACM SIGCOMM Computer Communication Review, 1987
- A perspective on Advanced Peer-to-Peer NetworkingIBM Systems Journal, 1987
- Protocol analysis and synthesis by structured partitionsComputer Networks and ISDN Systems, 1986
- A discipline for constructing multiphase communication protocolsACM Transactions on Computer Systems, 1985
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- Protocol Validation by Maximal Progress State ExplorationIEEE Transactions on Communications, 1984
- Advanced program-to-program communication in SNAIBM Systems Journal, 1983