Skip to main content
SpringerLink
Log in

Protocol Specification, Testing and Verification XV

  • Book
  • © 1996

Overview

Editors:
  1. Piotr Dembiński

    1. Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marek Średniawa

    1. Institute of Telecommunications, Warsaw, Poland

    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)

Included in the following conference series:

Conference proceedings info: PSTV 1995.

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

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Specification and Verification: Time-dependent Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Simple On-the-fly Automatic Verification of Linear Temporal Logic

      • R. Gerth, D. Peled, M. Y. Vardi, P. Wolper
      Pages 3-18

    3. Specifying Real-Time Requirements for SDL Specifications — A Temporal Logic-Based Approach

      • Stefan Leue
      Pages 19-34

    4. A temporal reachability analysis

      • Leo Cacciari, Omar Rafiq
      Pages 35-49

    5. Invited Paper

      1. True versus artificial concurrency
        • A. Mazurkiewicz
        Pages 53-68

  3. Specification of Concurrent Systems

    1. Front Matter

      Pages 69-69
      Download chapter PDF

    2. On compositionality and Petri nets in protocol engineering

      • N. A. Anisimov, M. Koutny
      Pages 71-86

    3. Composition of LOTOS specifications

      • M. W. A. Steen, H. Bowman, J. Derrick
      Pages 87-102

  4. Testing

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Principles for validation of abstract test suites specified in concurrent TTCN

      • M. Törő, K. Tarnay
      Pages 105-120

    3. An approach to testing distributed software systems

      • Andreas Ulrich, Samuel T. Chanson
      Pages 121-136

    4. Modeling Basic LOTOS by FSMs for Conformance Testing

      • Q. M. Tan, A. Petrenko, G. V. Bochmann
      Pages 137-152

  5. Specification and Verification: Temporal Approach

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    2. The Specification and Verification of an Experimental ATM Signalling Protocol

      • Dieter Barnard, Simon Crosby
      Pages 155-170

    3. Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations

      • P. Herrmann, H. Krumm
      Pages 171-186

    4. An Algebraic-Temporal Specification of a CSMA/CD-Protocol

      • Mohamed Jmaiel
      Pages 187-202

  6. Validation and Testing

    1. Front Matter

      Pages 203-203
      Download chapter PDF

    2. Validation, verification and implementation of timed protocols using AORTA

      • S. Bradley, W. D. Henderson, D. Kendall, A. P. Robson
      Pages 205-220

    3. Validation in Context

      • Lex Heerink, Ed Brinksma
      Pages 221-236
Back to top

Keywords

About this book

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.

Editors and Affiliations

  • Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    Piotr Dembiński

  • Institute of Telecommunications, Warsaw, Poland

    Marek Średniawa

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation