Skip to main content
Springer Nature Link
Account

Formal Techniques for Networked and Distributed Systems - FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. David Frutos-Escrig

    1. Dpto. de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Spain

  2. Manuel Núñez

    1. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3235)

Included in the following conference series:

Conference proceedings info: FORTE 2004.

  • 16k Accesses

  • 1 Citation

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  3. Regular Papers

    1. Parameterized Models for Distributed Java Objects

      • Tomás Barros, Rabéa Boulifa, Eric Madelaine
      Pages 43-60

    2. Towards the Harmonisation of UML and SDL

      • Rüdiger Grammes, Reinhard Gotzhein
      Pages 61-78

    3. Localizing Program Errors for Cimple Debugging

      • Samik Basu, Diptikalyan Saha, Scott A. Smolka
      Pages 79-96

    4. Formal Verification of a Practical Lock-Free Queue Algorithm

      • Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
      Pages 97-114

    5. Formal Verification of Web Applications Modeled by Communicating Automata

      • May Haydar, Alexandre Petrenko, Houari Sahraoui
      Pages 115-132

    6. Towards Design Recovery from Observations

      • Hasan Ural, Hüsnü Yenigün
      Pages 133-149

    7. Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach

      • Baptiste Alcalde, Ana Cavalli, Dongluo Chen, Davy Khuu, David Lee
      Pages 150-166

    8. Connectivity Testing Through Model-Checking

      • Jens Chr. Godskesen, Brian Nielsen, Arne Skou
      Pages 167-184

    9. Fault Propagation by Equation Solving

      • Khaled El-Fakih, Nina Yevtushenko
      Pages 185-198

    10. Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems

      • Xin Wang, Ji Wang, Zhi-Chang Qi
      Pages 199-212

    11. Formal Composition of Distributed Scenarios

      • Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoît Parreaux
      Pages 213-228

    12. Conditions for Resolving Observability Problems in Distributed Testing

      • Jessica Chen, Robert M. Hierons, Hasan Ural
      Pages 229-242

    13. Integrating Formal Verification with Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design

      • Ghassan Chehaibar
      Pages 243-258

    14. Witness and Counterexample Automata for ACTL

      • Robert Meolic, Alessandro Fantechi, Stefania Gnesi
      Pages 259-275

    15. A Symbolic Symbolic State Space Representation

      • Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
      Pages 276-291

    16. Introducing the Iteration in sPBC

      • Hermenegilda Maciá, Valentín Valero, Diego Cazorla, Fernando Cuartero
      Pages 292-308
Back to top

Other volumes

  1. Formal Techniques for Networked and Distributed Systems - FORTE 2004

  2. Applying Formal Methods: Testing, Performance, and M/E-Commerce

Editors and Affiliations

  • Dpto. de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Spain

    David Frutos-Escrig

  • Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Manuel Núñez

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

  • Book Title: Formal Techniques for Networked and Distributed Systems - FORTE 2004

  • Book Subtitle: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

  • Editors: David Frutos-Escrig, Manuel Núñez

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b100576

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 2004

  • Softcover ISBN: 978-3-540-23252-0Published: 21 September 2004

  • eBook ISBN: 978-3-540-30232-2Published: 09 September 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 382

  • Topics: Computer Communication Networks, Software Engineering, Logics and Meanings of Programs, Operating Systems

Keywords

Publish with us

Policies and ethics

Back to top