Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

  • Karin Breitman
  • Ana Cavalcanti

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Testing I

    1. Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
      Pages 49-68
    2. Svetoslav Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry
      Pages 69-87
    3. Junaid Haroon Siddiqui, Sarfraz Khurshid
      Pages 88-106
  4. Protocols

    1. Xihui Chen, Ton van Deursen, Jun Pang
      Pages 107-126
    2. Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo
      Pages 127-146
    3. Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
      Pages 147-166
  5. Testing II

    1. Maximiliano Cristiá, Pablo Rodríguez Monetti
      Pages 167-185
    2. Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana Cavalli
      Pages 186-205
    3. Bernhard K. Aichernig, Harald Brandl, Willibald Krenn
      Pages 206-225
  6. Verification

    1. Paul Taverne, C. (Kees) Pronk
      Pages 226-245
    2. André Platzer, Jan-David Quesel
      Pages 246-265
    3. David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael Whalen
      Pages 266-285
  7. Model Checking I

    1. Alessandro Ferrante, Margherita Napoli, Mimmo Parente
      Pages 306-325
    2. Samik Basu, Arka P. Ghosh, Ru He
      Pages 326-346
  8. Object-Orientation

    1. Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
      Pages 347-366
    2. Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi
      Pages 367-386

About these proceedings


This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.

The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.


B-Method CSP Coq certification dependable systems design patterns event-B fault tolerance formal methods formal software development formal specification formal verification hybrid systems software engineering verification

Editors and affiliations

  • Karin Breitman
    • 1
  • Ana Cavalcanti
    • 2
  1. 1.Coordenadora da Engenharia de Computação, Diretora de Publicações da SBC, Depto. Informáticaontifícia Universidade Católica do Rio de Janeiro, ,Rio de Jan 
  2. 2.Department of Computer ScienceUniversity of York, ,YorkUK,

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-10372-8
  • Online ISBN 978-3-642-10373-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book