IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Proving liveness for networks of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Mechanical verification and automatic implementation of communication protocols
IEEE Transactions on Software Engineering
Protocol analysis and synthesis by structured partitions
Computer Networks and ISDN Systems
A Test Design Methodology for Protocol Testing
IEEE Transactions on Software Engineering
Semiautomatic Implementation of Communication Protocols
IEEE Transactions on Software Engineering
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure
Computer Networks and ISDN Systems
Experience with test generation for real protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Constructing Submodule Specifications and Network Protocols
IEEE Transactions on Software Engineering
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
On ferry clip approaches in protocol testing
Computer Networks and ISDN Systems
An improved protocol test generation procedure based on UIOS
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Probabilistic testing of protocols
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines
IEEE Transactions on Software Engineering
Semi-automatic implementation of OSI protocols
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Update The Derivation of Conformance Tests From LOTOS Specifications
IEEE Transactions on Software Engineering
Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Executable logic specifications for protocol service interfaces
IEEE Transactions on Software Engineering
Automated Protocol Implementation with RTAG
IEEE Transactions on Software Engineering
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler
IEEE Transactions on Software Engineering
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Approaches utilizing segment overlap to minimize test sequences
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Protocol verification: the first ten years, the next ten years; some personal observations
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Probabilistic Verification of Communication Protocols
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Automated verification of connection management of NBS class 4 transport protocol
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Rules for synthesizing correct communication protocols
ACM SIGCOMM Computer Communication Review
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Generalized fair reachability analysis for cyclic protocols
IEEE/ACM Transactions on Networking (TON)
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
An approach to cyclic protocol validation
Computer Communications
| Hi-index | 0.00 |
Communication protocols are complex software systems and key components of computer networks. They must be specified completely and implemented correctly. The development of a protocol typically involves several tedious steps. Experience has shown that the use of informal techniques in these steps of protocol development generally produces systems with errors and undesirable behaviors. Formal methods permit the development of highly reliable and easily maintainable communication protocols. This paper presents our experience with using formal methods in the specification, verification, implementation, and conformance testing of OSI protocols.