An edition of Design and validation of computer protocols (1991)

Design and validation of computer protocols

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Design and validation of computer protocols by Gerard J. Holzmann.
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
May 17, 2023 | History
Edit
An edition of Design and validation of computer protocols (1991)

Design and validation of computer protocols

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

How to design communication protocols using the Promela language and check them with the Spin model checker.

Publish Date
Publisher
Prentice Hall
Language
English
Pages
500

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Computer network protocols, Computer networks, Design, Computer engineering

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Design and validation of computer protocols
Design and validation of computer protocols
1991, Prentice-Hall International
in English
Libraries near you: WorldCat
Cover of: Design and validation of computer protocols
Design and validation of computer protocols
1991, Prentice Hall
Hardcover in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Englewood Cliffs, N.J

Table of Contents

Foreword Page ix
Preface Page xi
I. Basics
1. Introduction Page 1 2. Protocol Structure Page 19 3. Error Control Page 43 4. Flow Control Page 67
II. Specification and Modeling
5. Validation Modeling Page 91 6. Correctness Requirements Page 112 7. Protocol Design Page 128 8. Finite State Machines Page 163
III. Conformance Testing, Synthesis and Validation
9. Conformance Testing Page 189 10. Protocol Synthesis Page 206 11. Protocol Validation Page 217
IV. Design Tools
12. A Protocol Simulator Page 247 13. A Protocol Validator Page 298 14. Using the Validator Page 318 Conclusions Page 350 References Page 351 A. Data Transmission Page 369 B. Flow Chart Language Page 382 C. Promela Language Report Page 385 D. Spin Simulator Source Page 394 E. Spin Validator Source Page 433 F. Promela File Transfer Protocol Page 483 Name Index Page 491 Subject Index Page 493

Edition Notes

Includes bibliographical references and indexes.
At head of title: AT & T.

Series
Prentice Hall software series

Classifications

Dewey Decimal Class
004.6/2
Library of Congress
TK5105.5 .H645 1991, TK5105.5.H645 1991

The Physical Object

Format
Hardcover
Pagination
xii, 500 p.
Number of pages
500
Weight
950 grams

ID Numbers

Open Library
OL1880314M
Internet Archive
designvalidation00gera
ISBN 10
0135399254
LCCN
90040822
Library Thing
769764
Goodreads
1877524

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
May 17, 2023 Edited by ImportBot import existing book
November 17, 2022 Edited by ImportBot import existing book
November 11, 2020 Edited by MARC Bot import existing book
August 18, 2020 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record.