Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

Editors:

ISBN: 978-1-4757-5262-5 (Print) 978-0-387-35394-4 (Online)

Table of contents (28 chapters)

previous Page of 2
  1. Front Matter

    Pages i-xi

  2. FDTs Extensions

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-18

      An Algebraic Semantics for Message Sequence Chart Documents

    3. No Access

      Book Chapter

      Pages 19-36

      Open Estelle — An FDT for Open Distributed Systems

    4. No Access

      Book Chapter

      Pages 37-55

      A Graphical Representation and Prototype Editor for the Formal Description Technique Estelle

  3. Verification 1

    1. Front Matter

      Pages 57-57

    2. No Access

      Book Chapter

      Pages 59-74

      Protocol Feature Interactions

    3. No Access

      Book Chapter

      Pages 75-90

      Limits and Possibilities of Sequential Hashing with Supertrace

  4. Test 1

    1. Front Matter

      Pages 91-91

    2. No Access

      Book Chapter

      Pages 93-109

      Fault-Oriented Test Generation for Multicast Routing Protocol Design

    3. No Access

      Book Chapter

      Pages 111-126

      Issues in Conformance Testing: Multiple Semicontrollable Interfaces

    4. No Access

      Book Chapter

      Pages 127-140

      Automatic Test Case Generation of Real Protocols: Framework and Methodology

    5. Invited Talk II

      1. No Access

        Book Chapter

        Pages 143-143

        Quality of Service in Integrated Networks

  5. Methodology 1

    1. Front Matter

      Pages 145-145

    2. No Access

      Book Chapter

      Pages 147-162

      Enumeration protocol in Estelle: an exercise in stepwise development

    3. No Access

      Book Chapter

      Pages 163-178

      A Design Methodology for the Formal Specification and Verification of Hypermedia Documents

  6. Methodology 2

    1. Front Matter

      Pages 179-179

    2. No Access

      Book Chapter

      Pages 181-196

      Frameworks by means of virtual types — exemplified by SDL

    3. No Access

      Book Chapter

      Pages 197-212

      SDL-Pattern based Development of a Communication Subsystem for CAN

  7. Verification 2

    1. Front Matter

      Pages 213-213

    2. No Access

      Book Chapter

      Pages 215-230

      “On-the-Fly Instantiation” of Value-Passing Processes

    3. No Access

      Book Chapter

      Pages 231-247

      Solving asynchronous equations

    4. No Access

      Book Chapter

      Pages 249-263

      Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers

  8. Case Studies

    1. Front Matter

      Pages 265-265

    2. No Access

      Book Chapter

      Pages 267-282

      SDL Specification and Verification of Universal Personal Computing with Objectgeode

    3. No Access

      Book Chapter

      Pages 283-307

      Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System

    4. No Access

      Book Chapter

      Pages 309-324

      Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE

    5. Invited Talk III

      1. No Access

        Book Chapter

        Pages 327-333

        A Logical Framework for Distributed Systems and Communication Protocols

previous Page of 2