Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
IEEE Transactions on Software Engineering
An improved protocol reachability analysis technique
Software—Practice & Experience
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Applications and Limitations of Automated Protocol Validation
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Validating SDL Specifications: an Experiment
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Formal Methods at AT&T - An Industrial Usage Report
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
| Hi-index | 0.00 |
A threefold strategy incorporating formal modeling, structural decomposition and functional abstraction, and reachability analysis is described, and the role of each part in managing complexity is examined. Formal modeling helps weed out extraneous detail so that later work on decomposition and abstraction is easier. Decomposition and abstraction help divide complexity into manageability parts that the reachability algorithm can solve. Examples of the use of each are given.