Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

  • Frank S. de Boer
  • Marcello M. Bonsangue
  • Susanne Graf
  • Willem-Paul de Roever
Conference proceedings FMCO 2005

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

Table of contents

  1. Front Matter
  2. Component and Service Oriented Computing

    1. Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
      Pages 1-21
    2. Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
      Pages 22-43
  3. System Design

    1. Jan Komenda, Jan H. van Schuppen
      Pages 44-63
    2. Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
      Pages 88-114
  4. Tools

    1. Josh Berdine, Cristiano Calcagno, Peter W. O’Hearn
      Pages 115-137
  5. Algebraic Methods

    1. Davide Sangiorgi
      Pages 161-171
    2. Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
      Pages 172-194
  6. Model Checking

    1. Orna Grumberg
      Pages 219-242
    2. Edmund Clarke, Natasha Sharygina, Nishant Sinha
      Pages 243-258
    3. Jiří Barnat, Luboš Brim, Ivana Černá
      Pages 259-279
    4. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
      Pages 280-312
  7. Assertional Methods

    1. Arnd Poetzsch-Heffter, Jan Schäfer
      Pages 313-341
    2. Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
      Pages 342-363
    3. Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino
      Pages 364-387
  8. Quantitative Analysis

    1. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
      Pages 388-407
    2. Marcus Groesser, Christel Baier
      Pages 408-427
  9. Back Matter

About these proceedings


Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages.

This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands, in November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, quantitative analysis.


Hardware Usability design formal method model checking modeling programming programming language software engineering validation verification

Editors and affiliations

  • Frank S. de Boer
    • 1
  • Marcello M. Bonsangue
    • 2
  • Susanne Graf
    • 3
  • Willem-Paul de Roever
    • 4
  1. 1.Centre for Mathematics and Computer ScienceCWIAmsterdamThe Netherlands
  2. 2.Leiden Institute of Advanced Computer ScienceLeiden UniversityLeidenThe Netherlands
  3. 3.Centre EquitationVERIMAGGrenoble-GièresFrance
  4. 4.Institute of Computer Science and Applied MathematicsChristian-Albrechts UniversityKielGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-36749-9
  • Online ISBN 978-3-540-36750-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site