Automatic modification of a protocol specification based on changes of a service specification
Abstract
Recommendations
A rapid protocol prototyping development system
RSP '95: Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP'95)With the rapid growth in the applications of computer networks, protocol implementations have become essential. Such implementations require error-free and unambiguous protocol design and specification. One solution to this problem is to formally ...
A Well-Defined Estelle Specification for the Automatic Test Generation
Special issue on protocol engineeringThe characteristics of the Estelle specification language are analyzed and a well-defined specification, a restricted form of an Estelle specification, is proposed based on the analyzed results to enable a direct derivation of a single reduced finite ...
On the verification of VDM specification and refinement with PVS
ASE '97: Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)Although the formal method VDM has been in existence since the 1970s, there are still no satisfactory tools to support verification in VDM. The paper deals with one possible means of approaching this problem by using the PVS theorem-prover. It describes ...
Comments
Information & Contributors
Information
Published In
Publisher
IEEE Computer Society
United States
Publication History
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0