FM 2005: Formal Methods

International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

  • John Fitzgerald
  • Ian J. Hayes
  • Andrzej Tarlecki
Conference proceedings FM 2005

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

Table of contents

  1. Front Matter
  2. Keynote Talks

  3. Object Orientation

    1. K. Rustan M. Leino, Peter Müller
      Pages 26-42
    2. Ioannis T. Kassios
      Pages 43-58
    3. Cees Pierik, Dave Clarke, Frank S. de Boer
      Pages 59-74
    4. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
      Pages 75-90
  4. Resource Analysis and Verification

    1. David Cachera, Thomas Jensen, David Pichardie, Gerardo Schneider
      Pages 91-106
    2. Pierre Salverda, Grigore Roşu, Craig Zilles
      Pages 123-138
  5. Timing and Testing

    1. Martin De Wulf, Laurent Doyen, Jean-François Raskin
      Pages 139-156
    2. Alan Wassyng, Mark Lawford, Xiayong Hu
      Pages 157-172
    3. Henrik Bohnenkamp, Axel Belinfante
      Pages 173-188
  6. CSP, B and Circus

    1. Christie Bolton
      Pages 205-220
    2. Michael Butler, Michael Leuschel
      Pages 221-236
    3. Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
      Pages 237-252
    4. Ana Cavalcanti, Phil Clayton, Colin O’Halloran
      Pages 253-268
  7. Security

    1. David Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff
      Pages 269-285
    2. Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero
      Pages 286-301
    3. June Andronick, Boutheina Chetali, Christine Paulin-Mohring
      Pages 302-317
  8. Networks and Processes

    1. Yu Lei, S. Purushothaman Iyer
      Pages 334-349
    2. Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
      Pages 350-365
  9. Abstraction, Retrenchment and Rewriting

    1. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
      Pages 382-398
    2. T. L. Alves, P. F. Silva, J. Visser, J. N. Oliveira
      Pages 399-414
  10. Scenarios and Modeling Languages

    1. Emilia Katz, Shmuel Katz
      Pages 432-447
    2. Soon-Kyeong Kim, Damian Burger, David Carrington
      Pages 448-464
  11. Model Checking

    1. Jochen Hoenicke, Patrick Maier
      Pages 465-480
    2. Subramanian Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain
      Pages 497-511
    3. Natasha Sharygina, Sagar Chaki, Edmund Clarke, Nishant Sinha
      Pages 512-528
  12. Industry Day: Abstracts of Invited Talks

    1. John Harrison
      Pages 529-532
    2. Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop
      Pages 533-536
    3. Alexander Pretschner
      Pages 537-541
    4. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
      Pages 542-547
    5. Gerrit Muller
      Pages 552-556
  13. Back Matter

About these proceedings


This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume. We would like to thank all the Program Committee members and the referees for their excellent and e?cient work. Apart from the selected contributions, the Committee invited three keynote lectures from Mathai Joseph, Marie-Claude Gaudel and Chris Johnson. You will ?nd the abstracts/papers for their keynote lectures in this volume as well. AninnovationfortheFM2005programwasapaneldiscussiononthehistory of formal methods, with Jean-Raymond Abrial, Dines Bjørner, Jim Horning and Cli? Jones as panelists. Unfortunately, it was not possible to re?ect this event in the current volume, but you will ?nd the material documenting it elsewhere (see the conference Web page).


CSP architecture formal method formal specification formal testing formal verification mathematical program construction model checking modeling object-orientation program analysis program correctness real-time semantics verification

Editors and affiliations

  • John Fitzgerald
    • 1
  • Ian J. Hayes
    • 2
  • Andrzej Tarlecki
    • 3
  1. 1.School of Computing ScienceNewcastle UniversityNewcastleUK
  2. 2.School of Information Technology and Electrical EngineeringThe University of QueenslandAustralia
  3. 3.Institute of Computer SciencePolish Academy of Sciences 

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment