Formal Techniques for Networked and Distributed Systems - FORTE 2003

1. Front Matter

   PDF

2. UNIX STREAMS Generation from a Formal Specification

   • Paweł Rychwalski, Jacek Wytrębowicz

   Pages 1-14

3. Specifying and Realising Interactive Voice Services

   • Kenneth J. Turner

   Pages 15-30

4. Vertical Reuse in the Development of Distributed Systems with FDTs

   • Reinhard Gotzhein

   Pages 31-47

5. Service-Oriented Systems Engineering: Modeling Services and Layered Architectures

   • Manfred Broy

   Pages 48-61

6. Validation of the Sessionless Mode of the HTTPR Protocol

   • Paolo Romano, Milton Romero, Bruno Ciciani, Francesco Quaglia

   Pages 62-78

7. Generation of All Counter-Examples for Push-Down Systems

   • Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka

   Pages 79-94

8. Modeling and Model Checking Mobile Phone Payment Systems

   • Tim Kempster, Colin Stirling

   Pages 95-110

9. Behavioural Contracts for a Sound Assembly of Components

   • Cyril Carrez, Alessandro Fantechi, Elie Najm

   Pages 111-126

10. Automatic Verification of Annotated Code

    • Doron Peled, Hongyang Qu

    Pages 127-143

11. Combating Infinite State Using Ergo

    • Peter Robinson, Carron Shankland

    Pages 144-159

12. Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

    • Farn Wang, Geng-Dian Hwang, Fang Yu

    Pages 160-176

13. Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream

    • Rodolfo Gómez, Howard Bowman

    Pages 177-192

14. Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

    • Dirk Beyer, Andreas Noack

    Pages 193-208

15. How Stop and Wait Protocols Can Fail over the Internet

    • Jonathan Billington, Guy Edward Gallasch

    Pages 209-223

16. Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis

    • Ivan Cibario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

    Pages 224-239

17. A Lightweight Formal Analysis of a Multicast Key Management Scheme

    • Mana Taghdiri, Daniel Jackson

    Pages 240-256

18. Formal Security Policy Verification of Distributed Component-Structured Software

    • Peter Herrmann

    Pages 257-272

19. Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers

    • Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale

    Pages 273-288

20. Concerning the Ordering of Adaptive Test Sequences

    • Robert M. Hierons, Hasan Ural

    Pages 289-302

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume.

• Internet
• Multimedia
• Quality of Service
• Quality of Service (QoS)
• UNIX
• algorithms
• communication system
• computer communications
• distributed computing
• distributed systems
• model checking
• modeling
• security protocols
• testing
• verification

• Faculty of Mathematics, Natural Sciences and Computer Science, Brandenburg University of Technology at Cottbus, Cottbus, Germany

  Hartmut König

• Department of Computer Science, Brandenburg University of Technology, Cottbus, Germany

  Monika Heiner

• Telecommunication Networks Group, Technische Universität Berlin, Germany

  Adam Wolisz

Policies and ethics