Formal Techniques for Networked and Distributed Systems – FORTE 2008

28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

  • Editors
  • Kenji Suzuki
  • Teruo Higashino
  • Keiichi Yasumoto
  • Khaled El-Fakih
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5048)

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Ethan K. Jackson, Wolfram Schulte
      Pages 1-20
  3. Abstraction

    1. Jonathan Bogdoll, Holger Hermanns, Lijun Zhang
      Pages 37-52
    2. Margus Veanes, Nikolaj Bjørner, Alexander Raschke
      Pages 53-68
  4. Verification

    1. Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine
      Pages 69-83
    2. C. Pajault, J. -F. Pradat-Peyre, P. Rousseau
      Pages 84-98
    3. Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry
      Pages 99-115
  5. Specification Framework I

    1. Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis
      Pages 116-133
    2. Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
      Pages 134-148
    3. Jing Li, Huibiao Zhu, Jifeng He
      Pages 149-168
  6. Application

  7. Specification Framework II

    1. Christian Webel, Reinhard Gotzhein, Joachim Nicolay
      Pages 218-233
    2. Bogdan Aman, Gabriel Ciobanu
      Pages 234-250
  8. Theory

    1. Manuel Núñez, Luis Llana
      Pages 267-282
    2. David de Frutos Escrig, Miguel Palomino, Ignacio Fábregas
      Pages 283-298
  9. Reliability of Networked Systems

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.

The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Special focus is put on ubiquitous, grid, and mobile computing systems, and also on the application of formal techniques to service oriented architectures as well as security issues in networked systems. The papers are organized in topical sections on abstraction, verification, specification framework, application, theory, and reliability of networked systems.

Keywords

Erlang authenticity bisimulation concurrency distributed algorithm distributed computing distributed systems embedded systems exception handling formal languages formal method fuzz testing graph th security verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-68855-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-68854-9
  • Online ISBN 978-3-540-68855-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book