Skip to main content
SpringerLink
Log in

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Jayadev Misra

    1. The University of Texas at Austin,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tobias Nipkow

    1. Institut für Informatik, Technische Universität, München,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Emil Sekerinski

    1. Department of Computing and Software, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FM 2006.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. The Embedded Systems Design Challenge

      • Thomas A. Henzinger, Joseph Sifakis
      Pages 1-15

  3. Interactive Verification

    1. The Mondex Challenge: Machine Checked Proofs for an Electronic Purse

      • Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
      Pages 16-31

    2. Interactive Verification of Medical Guidelines

      • Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
      Pages 32-47

    3. Certifying Airport Security Regulations Using the Focal Environment

      • David Delahaye, Jean-Frédéric Étienne, Véronique Viguié Donzeau-Gouge
      Pages 48-63

    4. Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study

      • Shinya Umeno, Nancy Lynch
      Pages 64-80

  4. Invited Talk

    1. Validating the Microsoft Hypervisor

      • Ernie Cohen
      Pages 81-81

  5. Formal Modelling of Systems

    1. Interface Input/Output Automata

      • Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski
      Pages 82-97

    2. Properties of Behavioural Model Merging

      • Greg Brunet, Marsha Chechik, Sebastian Uchitel
      Pages 98-114

    3. Automatic Translation from Circus to Java

      • Angela Freitas, Ana Cavalcanti
      Pages 115-130

    4. Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems

      • A. K. McIver
      Pages 131-146

  6. Real Time

    1. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

      • Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
      Pages 147-162

    2. Towards Modularized Verification of Distributed Time-Triggered Systems

      • Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
      Pages 163-178

  7. Industrial Experience

    1. A Story About Formal Methods Adoption by a Railway Signaling Manufacturer

      • Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni
      Pages 179-189

    2. Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach

      • Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue
      Pages 190-204

  8. Specification Refinement

    1. Compositional Class Refinement in Object-Z

      • Tim McComb, Graeme Smith
      Pages 205-220

    2. A Proposal for Records in Event-B

      • Neil Evans, Michael Butler
      Pages 221-235

    3. Pointfree Factorization of Operation Refinement

      • José N. Oliveira, César J. Rodrigues
      Pages 236-251

    4. A Formal Template Language Enabling Metaproof

      • Nuno Amálio, Susan Stepney, Fiona Polack
      Pages 252-267

  9. Progrmming Languages

    1. Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions

      • Ioannis T. Kassios
      Pages 268-283
Back to top

Other volumes

  1. FM 2006: Formal Methods

Keywords

Editors and Affiliations

  • The University of Texas at Austin,  

    Jayadev Misra

  • Institut für Informatik, Technische Universität, München,  

    Tobias Nipkow

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    Emil Sekerinski

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation