Communication Protocol Specification and Verification
Some of the objectives of ISO in developing FDTs were: enabling unambiguous, clear and precise descriptions of OSI protocol standards to be written, and allowing such specifications to be verified for correctness. There aretwo FDTs standardized by ISO: LOTOS and Estelle. Communication Protocol Speci...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer US
1998, 1998
|
| Edition: | 1st ed. 1998 |
| Series: | The Springer International Series in Engineering and Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1. Communication Protocol
- 2. Formal Description Techniques
- 3. Estelle
- 4. Lotos
- 5. SDL
- 6. Protocol Verification
- 7. A Review on Estelle Verification
- 8. NPNs Modelling Estelle