© 1995

Protocol Specification, Testing and Verification XIV

  • Son T. Vuong
  • Samuel T. Chanson

Table of contents

  1. Front Matter
    Pages i-x
  2. Full Papers

    1. Front Matter
      Pages 1-1
    2. FDTs and Enhancements

      1. Klaus Havelund, Kim Guldstrand Larsen
        Pages 5-20
      2. R. Gotzhein, G. v. Bochmann
        Pages 21-36
      3. Jean-Pierre Courtiat, Roberto C. de Oliveira
        Pages 37-52
      4. Ed Brinksma
        Pages 53-67
    3. Verification Methodology Based on FDTs

      1. Bernard Stepien, Luigi Logrippo
        Pages 71-86
      2. Kshirasagar Naik, Behcet Sarikaya
        Pages 103-118
    4. Testing — Architecture, Fault Coverage and Interoperability

      1. Jinsong Zhu, Samuel T. Chanson
        Pages 137-151
      2. Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus
        Pages 152-166
    5. Protocol Specification and Design Methodology

      1. Jorge A. Cobb, Mohamed G. Gouda, Prathima Agrawal
        Pages 169-184
      2. A. Khoumsi, G. V. Bochmann, R. Dssouli
        Pages 185-200
      3. Maria Hultström
        Pages 201-216
      4. Raj Jain
        Pages 217-217
    6. Testing — Theoretical Issues

    7. Verification Methods

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).


Session communication information information processing modeling

Editors and affiliations

  • Son T. Vuong
    • 1
  • Samuel T. Chanson
    • 1
  1. 1.The University of British ColumbiaVancouverCanada

Bibliographic information

  • Book Title Protocol Specification, Testing and Verification XIV
  • Editors S.T. Vuong
    Samuel T. Chanson
  • Series Title IFIP Advances in Information and Communication Technology
  • DOI
  • Copyright Information Springer Science+Business Media Dordrecht 1995
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-0-412-63640-0
  • Softcover ISBN 978-1-4757-6308-9
  • eBook ISBN 978-0-387-34867-4
  • Series ISSN 1868-4238
  • Series E-ISSN 1868-422X
  • Edition Number 1
  • Number of Pages X, 404
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Signal, Image and Speech Processing
    Computer Communication Networks
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Oil, Gas & Geosciences