Skip to main content
SpringerLink
Log in

Protocol Specification, Testing and Verification XIV

  • Book
  • © 1995

Overview

Editors:
  1. Son T. Vuong

    1. The University of British Columbia, Vancouver, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Samuel T. Chanson

    1. The University of British Columbia, Vancouver, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Full Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. FDTs and Enhancements

      1. A Refinement Logic for the Fork Calculus
        • Klaus Havelund, Kim Guldstrand Larsen
        Pages 5-20
      2. Specialization in Estelle
        • R. Gotzhein, G. v. Bochmann
        Pages 21-36
      3. About time nondeterminism and exception handling in a temporal extension of LOTOS
        • Jean-Pierre Courtiat, Roberto C. de Oliveira
        Pages 37-52
      4. Invited Address I
        • Ed Brinksma
        Pages 53-67

    3. Verification Methodology Based on FDTs

      1. Feature Interaction Detection using Backward Reasoning with LOTOS
        • Bernard Stepien, Luigi Logrippo
        Pages 71-86
      2. Verification Results for the ISO ROSE Protocol Specified in Estelle
        • A. Jirachiefpattana, R. Lai
        Pages 87-102
      3. Protocol Conformance Test Case Verification Using Timed-Transitions
        • Kshirasagar Naik, Behcet Sarikaya
        Pages 103-118

    4. Testing — Architecture, Fault Coverage and Interoperability

      1. Design of Reliable Architecture for Testing Timed Behavior of OSI Protocols
        • Kshirasagar Naik
        Pages 121-136
      2. Towards Evaluating Fault Coverage of Protocol Test Sequences
        • Jinsong Zhu, Samuel T. Chanson
        Pages 137-151
      3. Verification by abstraction as a preamble for interoperability test suite generation
        • Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus
        Pages 152-166

    5. Protocol Specification and Design Methodology

      1. Protocol Synchronization with Sparse Timestamps
        • Jorge A. Cobb, Mohamed G. Gouda, Prathima Agrawal
        Pages 169-184
      2. On Specifying Services and Synthesizing Protocols for Real-Time Applications
        • A. Khoumsi, G. V. Bochmann, R. Dssouli
        Pages 185-200
      3. Structural Decomposition
        • Maria Hultström
        Pages 201-216
      4. Invited Address II
        • Raj Jain
        Pages 217-217

    6. Testing — Theoretical Issues

      1. Abstract testing and concrete testers
        • Marc Phalippou
        Pages 221-236
      2. On Finite Covering of Infinite Spaces for Protocol Test Selection
        • Masaaki Mori, Son T. Vuong
        Pages 237-251
      3. Failure-based Congruences, Unfair Divergences and New Testing Theory
        • Guy Leduc
        Pages 252-267

    7. Verification Methods

      1. Generalized Fair Reachability Analysis for Cyclic Protocols: Part 1
        • Hong Liu, Raymond E. Miller
        Pages 271-286
Back to top

Keywords

About this book

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks". This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech­ niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna­ tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main objective of this PSTV symposium is to provide a forum for researchers and practitioners in industry and academia interested in advances in using formal methods and methodologies to specify, develop, test and verify communication protocols and distributed systems. This year's PSTV symposium enjoys a nice mixture of formal methods and practical issues in network protocols through the invited addresses of three outstanding speakers, Ed Brinksma (University of Twente), Raj Jain (Ohio State University) and David Tennenhouse (MIT) as well as 5 tutorials, in addition to 9 techni­ cal sessions and two practical panel sessions. The 5 tutorials are offered on the first day in two parallel tracks for intensive exposure on hot topics of current interest. This year, out of 51 submissions the Program Committee selected 18 regular papers (with an allotment of 16 pages in the Proceedings) and 9 mini-papers (of 8 pages).

Editors and Affiliations

  • The University of British Columbia, Vancouver, Canada

    Son T. Vuong, Samuel T. Chanson

Bibliographic Information

  • Book Title: Protocol Specification, Testing and Verification XIV

  • Editors: Son T. Vuong, Samuel T. Chanson

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-34867-4

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 1995

  • Hardcover ISBN: 978-0-412-63640-0Published: 30 November 1994

  • Softcover ISBN: 978-1-4757-6308-9Published: 22 May 2013

  • eBook ISBN: 978-0-387-34867-4Published: 11 November 2013

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: X, 404

  • Topics: Signal, Image and Speech Processing, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation