Formal Methods for Communication Protocol Specification and Verification

Formal Methods for Communication Protocol Specification and Verification
Author :
Publisher :
Total Pages : 108
Release :
ISBN-10 : IND:39000002237548
ISBN-13 :
Rating : 4/5 (48 Downloads)

Book Synopsis Formal Methods for Communication Protocol Specification and Verification by : Carl A. Sunshine

Download or read book Formal Methods for Communication Protocol Specification and Verification written by Carl A. Sunshine and published by . This book was released on 1979 with total page 108 pages. Available in PDF, EPUB and Kindle. Book excerpt: Increasingly numerous and complex communication protocols are being employed in distributed systems and computer networks of all types. This Note describes some of the more formal techniques that are being developed to facilitate design of correct protocols. Our major conclusion is that it is vital to specify the services provided by a protocol layer in addition to specifying the cooperating protocol entities which make up the layer. We develop service specifications of several representative protocols by using formal techniques from software engineering such as abstract machines and buffer histories. A survey of protocol verification methods and a bibliography indexed by key phrases are also provided. (Author).


Formal Methods for Communication Protocol Specification and Verification Related Books

Formal Methods for Communication Protocol Specification and Verification
Language: en
Pages: 108
Authors: Carl A. Sunshine
Categories: Computer network protocols
Type: BOOK - Published: 1979 - Publisher:

DOWNLOAD EBOOK

Increasingly numerous and complex communication protocols are being employed in distributed systems and computer networks of all types. This Note describes some
Communication Protocol Specification and Verification
Language: en
Pages: 315
Authors: Richard Lai
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and d
Formal Description Techniques IX
Language: en
Pages: 536
Authors: R. Gotzhein
Categories: Computers
Type: BOOK - Published: 1996-09-30 - Publisher: Springer

DOWNLOAD EBOOK

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series
Computer Network Architectures and Protocols
Language: en
Pages: 746
Authors: Paul Eliot Green
Categories: Computers
Type: BOOK - Published: 1982 - Publisher: Springer

DOWNLOAD EBOOK

This is a book about the bricks and mortar out of which are built those edifices that so well characterize late twentieth century industrial society networks of
Protocol Specification, Testing and Verification XV
Language: en
Pages: 452
Authors: Piotr Dembinski
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proce