Formal Methods for Components and Objects

5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

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

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

Table of contents

  1. Front Matter
  2. Testing

    1. Cyrille Artho, Armin Biere, Shinichi Honiden
      Pages 26-46
    2. Bertrand Jeannet, Thierry Jéron, Vlad Rusu
      Pages 47-69
  3. Program Verification

    1. Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
      Pages 70-101
    2. Marjan Sirjani
      Pages 102-126
    3. Martin Leucker
      Pages 127-151
  4. Trust and Security

    1. Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet et al.
      Pages 152-174
    2. Vladimiro Sassone, Karl Krukow, Mogens Nielsen
      Pages 175-184
  5. Models of Computation

    1. Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
      Pages 185-206
    2. Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida
      Pages 207-245
  6. Distributed Programming

    1. Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
      Pages 266-296
  7. 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 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. 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, and quantitative analysis.


formal method model checking modeling object programming programming language verification

Bibliographic information

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