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

    4. Testing — Architecture, Fault Coverage and Interoperability

    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

  3. Short Papers

    1. Front Matter
      Pages 319-319
    2. Modelling and Verification of Realtime Systems

      1. Jens Chr. Godskesen, Kim G. Larsen, Arne Skou
        Pages 323-330
      2. David L. Tennenhouse
        Pages 347-347
    3. Testing — Tools and Methods

    4. FDT-Based Design, Specification and Implementation

      1. Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi
        Pages 379-386
      2. Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid
        Pages 395-402
  4. Back Matter
    Pages 403-404

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

  • DOI
  • Copyright Information Springer Science+Business Media Dordrecht 1995
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-6308-9
  • Online ISBN 978-0-387-34867-4
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site