Skip to main content
Springer Nature Link
Log in

FM 2005: Formal Methods

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

  • Conference proceedings
  • © 2005
Save conference proceedings
View saved research

Overview

Editors:
  1. John Fitzgerald

    1. School of Computing Science, Newcastle University, Newcastle, UK

  2. Ian J. Hayes

    1. School of Information Technology and Electrical Engineering, The University of Queensland, Australia

  3. Andrzej Tarlecki

    1. Institute of Computer Science, Polish Academy of Sciences

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FM 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) 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).

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (40 papers)

  1. Front Matter

    Download chapter PDF

  3. Object Orientation

    1. Modular Verification of Static Class Invariants

      • K. Rustan M. Leino, Peter Müller
      Pages 26-42

    2. Decoupling in Object Orientation

      • Ioannis T. Kassios
      Pages 43-58

    3. Controlling Object Allocation Using Creation Guards

      • Cees Pierik, Dave Clarke, Frank S. de Boer
      Pages 59-74

    4. Symbolic Animation of JML Specifications

      • Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
      Pages 75-90

  4. Resource Analysis and Verification

    1. Certified Memory Usage Analysis

      • David Cachera, Thomas Jensen, David Pichardie, Gerardo Schneider
      Pages 91-106

    2. Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs

      • Orieta Celiku, Annabelle McIver
      Pages 107-122

    3. Formally Defining and Verifying Master/Slave Speculative Parallelization

      • Pierre Salverda, Grigore Roşu, Craig Zilles
      Pages 123-138

  5. Timing and Testing

    1. Systematic Implementation of Real-Time Models

      • Martin De Wulf, Laurent Doyen, Jean-François Raskin
      Pages 139-156

    2. Timing Tolerances in Safety-Critical Software

      • Alan Wassyng, Mark Lawford, Xiayong Hu
      Pages 157-172

    3. Timed Testing with TorX

      • Henrik Bohnenkamp, Axel Belinfante
      Pages 173-188

    4. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems

      • Vlad Rusu, Hervé Marchand, Thierry Jéron
      Pages 189-204

  6. CSP, B and Circus

    1. Adding Conflict and Confusion to CSP

      • Christie Bolton
      Pages 205-220

    2. Combining CSP and B for Specification and Property Verification

      • Michael Butler, Michael Leuschel
      Pages 221-236

    3. Operational Semantics for Model Checking Circus

      • Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
      Pages 237-252

    4. Control Law Diagrams in Circus

      • Ana Cavalcanti, Phil Clayton, Colin O’Halloran
      Pages 253-268

  7. Security

    1. Verification of a Signature Architecture with HOL-Z

      • David Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff
      Pages 269-285
Back to top

Other volumes

  1. FM 2005: Formal Methods

Editors and Affiliations

  • School of Computing Science, Newcastle University, Newcastle, UK

    John Fitzgerald

  • School of Information Technology and Electrical Engineering, The University of Queensland, Australia

    Ian J. Hayes

  • Institute of Computer Science, Polish Academy of Sciences

    Andrzej Tarlecki

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top