Verification

Aug-Nov, 2011

Design and Validation of Computer Protocols
Gerard J Holzmann
Prentice-Hall, 1991

• Preface
• Contents

Part I : Basics

• Chapter 1. Introduction
• Chapter 2. Protocol Structure
• Chapter 3. Error Control
• Chapter 4. Flow Control

Part II : Specification and Modeling

• Chapter 5. Validation Models
• Chapter 6. Correctness Requirements
• Chapter 7. Protocol Design
• Chapter 8. Finite State Machines

Part III : Conformance Testing, Synthesis and Validation

• Chapter 9. Conformance Testing
• Chapter 10. Protocol Synthesis
• Chapter 11. Protocol Validation

Part IV : Design Tools

• Chapter 12. A Protocol Simulator
• Chapter 13. A Protocol Validator
• Chapter 14. Using the Validator

• Conclusion
• References

Appendices

• Appendix A. Data Transmission
• Appendix B. Flow Chart Language
• Appendix C. PROMELA Language Report
• Appendix D. SPIN Simulator Source
• Appendix E. SPIN Validator Source
• Appendix F. PROMELA File Transfer Protocol

• Name Index
• Subject Index