Skip to main content
SpringerLink
Log in

Formal Methods for Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX’99

  • Book
  • © 1999

Overview

Editors:
  1. Jianping Wu

    1. Tsinghua University, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Samuel T. Chanson

    1. Hong Kong University of Science & Technology, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Qiang Gao

    1. IVT, China

    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, volume 28)

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.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 (28 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Invited Talk I

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Test I

      1. Confirming configurations in EFSM
        • A. Petrenko, S. Boroday, R. Groz
        Pages 5-24
      2. Remote testing can be as powerful as local testing
        • Claude Jard, Thierry Jéron, Lénaïck Tanguy, César Viho
        Pages 25-40
      3. Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services
        • Ana Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
        Pages 41-56

    3. FDTs I

      1. Scalable and Object Oriented SDL State(chart)s
        • Birger Møller-Pedersen, Dagbjørn Nogva
        Pages 59-73
      2. Prototyping Framework for SDL with Evolving Semantics
        • Peter Csurgay
        Pages 75-94
      3. Framework for Automatic SDL to C++ Translation
        • Dirk Trossen, Christian Cseh, Roman Kogan
        Pages 95-115

    4. Test II

      1. Stress Testing of Distributed Multimedia Software Systems
        • Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson
        Pages 119-133
      2. Fair Testing Through Probabilistic Testing
        • Manuel Núñez, David Rupérez
        Pages 135-150
      3. A Formal Approach to Conformance Testing of Distributed Routing Protocols
        • Jun Bi, Jianping Wu
        Pages 151-163

  3. Invited Talk II

    1. Front Matter

      Pages 165-165
      Download chapter PDF

    2. FDTs II

      1. Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering
        • Peter Langendörfer, Hartmut König
        Pages 169-184
      2. A Graphical Parallel Composition Operator for Process Algebras
        • Hubert Garavel, Mihaela Sighireanu
        Pages 185-202
      3. Guaranteeing Liveness in an Object Calculus Through Behavioral Typing
        • Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
        Pages 203-221

    3. Model Checking

      1. Black Box Checking
        • Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
        Pages 225-240
      2. An Optimizing Compiler for Efficient Model Checking
        • Yifei Dong, C. R. Ramakrishnan
        Pages 241-256
      3. Exploiting Symmetry When Model-Checking Software
        • Patrice Godefroid
        Pages 257-275

    4. Verification

      1. User-Friendly Verification
        • Pao-Ann Hsiung, Farn Wang
        Pages 279-294
      2. Specification and Verification of Synchronous Hardware using LOTOS
        • Ji He, Kenneth J. Turner
        Pages 295-312
Back to top

Keywords

About this book

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:
  • FDT-based system and protocol engineering;
  • FDT application to distributed systems;
  • Protocol engineeering;
  • Practical experience and case studies.

Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Editors and Affiliations

  • Tsinghua University, China

    Jianping Wu

  • Hong Kong University of Science & Technology, China

    Samuel T. Chanson

  • IVT, China

    Qiang Gao

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation