Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Distributed System Development

FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

  • Book
  • © 2000

Overview

Editors:
  1. Tommaso Bolognesi

    1. Consiglio Nazionale delle Ricerche (CNR), Istituto di Elaborazione dell’Informazione (IEI), Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Diego Latella

    1. Consiglio Nazionale delle Ricerche (CNR), Istituto CNUCE, Italy

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

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 (26 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Verification and Theorem Proving

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Verification of the TTP Group Membership Algorithm

      • Holger Pfeifer
      Pages 3-18

    3. Verification of a Sliding Window Protocol Using IOA and MONA

      • Mark A. Smith, Nils Klarlund
      Pages 19-34

    4. A Priori Verification of Reactive Systems

      • Mila Majster-Cederbaum, Frank Salger, Maria Sorea
      Pages 35-50

  3. Test Generation

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. From Rule-Based to Automata-Based Testing

      • Kousha Etessami, Mihalis Yannakakis
      Pages 53-68

    3. Integrated System Interoperability Testing with Applications to VoIP

      • Nancy Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha
      Pages 69-84

    4. On Test Derivation from Partial Specifications

      • Alex Petrenko, Nina Yevtushenko
      Pages 85-102

  4. Model Checking — Theory

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Compositionality for Improving Model Checking

      • Antonella Santone
      Pages 105-120

    3. A Model Checking Method for Partially Symmetric Systems

      • Serge Haddad, Jean-Michel Ilié, Khalil Ajami
      Pages 121-136

  5. Model Checking — Applications

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. Specification and Verification of Message Sequence Charts

      • Doron Peled
      Pages 139-154

    3. A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification

      • Luca Durante, Riccardo Sisto, Adriano Valenzano
      Pages 155-170

    4. Verification of Consistency Protocols Via Infinite-State Symbolic Model Checking

      • Giorgio Delzanno
      Pages 171-186

  6. Multicast Protocol Analysis and Simulation

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Systematic Performance Evaluation of Multipoint Protocols

      • Ahmed Helmy, Sandeep Gupta, Deborah Estrin, A. Cerpa, Y. Yu
      Pages 189-204

    3. Simulating Multicast Transport Protocols in Estelle

      • Justin Templemore-Finlayson, Eugen Borcoci
      Pages 205-218

    4. Generation of Realistic Signalling Traffic in an ISDN Load Test System Using SDL User Models

      • Thomas Steinert, Georg Rößler
      Pages 219-234
Back to top

Keywords

About this book

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods­ Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over­ optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.

Editors and Affiliations

  • Consiglio Nazionale delle Ricerche (CNR), Istituto di Elaborazione dell’Informazione (IEI), Italy

    Tommaso Bolognesi

  • Consiglio Nazionale delle Ricerche (CNR), Istituto CNUCE, Italy

    Diego Latella

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation