Skip to main content
SpringerLink
Log in

Integrated Formal Methods

5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Judi Romijn

    1. Dept. of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Graeme Smith

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jaco Pol

    1. Formal Methods and Tools, Department of Computer Science, University of Twente, Enschede, The Netherlands

    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 3771)

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

Included in the following conference series:

Conference proceedings info: IFM 2005.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. A Family of Mathematical Methods for Professional Software Documentation

      • David Lorge Parnas
      Pages 1-4

    2. Generating Path Conditions for Timed Systems

      • Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
      Pages 5-19

    3. Software Model Checking: Searching for Computations in the Abstract or the Concrete

      • Patrice Godefroid, Nils Klarlund
      Pages 20-32

  3. Session: Components

    1. Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study

      • Robi Malik, Partha S. Roop
      Pages 33-52

  4. Session: State/Event-Based Verification

    1. State/Event Software Verification for Branching-Time Specifications

      • Sagar Chaki, Edmund Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili et al.
      Pages 53-69

    2. Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods

      • Frédéric Lang
      Pages 70-88

    3. Chunks: Component Verification in CSP ∥ B

      • Steve Schneider, Helen Treharne, Neil Evans
      Pages 89-108

  5. Session: System Development

    1. Agile Formal Method Engineering

      • Richard F. Paige, Phillip J. Brooke
      Pages 109-128

    2. An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees

      • Lars Grunske, Peter Lindsay, Nisansala Yatapanage, Kirsten Winter
      Pages 129-149

    3. Enabling Security Testing from Specification to Code

      • Shane Bracher, Padmanabhan Krishnan
      Pages 150-166

  6. Session: Applications of B

    1. Development of Fault Tolerant Grid Applications Using Distributed B

      • Pontus Boström, Marina Waldén
      Pages 167-186

    2. Formal Methods Meet Domain Specific Languages

      • Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
      Pages 187-206

    3. Synthesizing B Specifications from eb 3 Attribute Definitions

      • Frédéric Gervais, Marc Frappier, Régine Laleau
      Pages 207-226

  7. Session: Tool Support

    1. CZT Support for Z Extensions

      • Tim Miller, Leo Freitas, Petra Malik, Mark Utting
      Pages 227-245

    2. Embedding the Stable Failures Model of CSP in PVS

      • Kun Wei, James Heather
      Pages 246-265

    3. Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks

      • Lars M. Kristensen, Michael Westergaard, Peder Christian Nørgaard
      Pages 266-286

  8. Session: Non-software Domains

    1. Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS

      • Gwen Salaün, Wendelin Serwe
      Pages 287-306

    2. Formalising Interactive Voice Services with SDL

      • Kenneth J. Turner
      Pages 307-326

  9. Session: Semantics

    1. A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions

      • Héctor Ruíz Barradas, Didier Bert
      Pages 327-346
Back to top

Other volumes

  1. Integrated Formal Methods

Keywords

Editors and Affiliations

  • Dept. of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    Judi Romijn

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

    Graeme Smith

  • Formal Methods and Tools, Department of Computer Science, University of Twente, Enschede, The Netherlands

    Jaco Pol

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation