Skip to main content
  • Conference proceedings
  • © 2005

Integrated Formal Methods

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

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

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

Conference series link(s): IFM: International Conference on Integrated Formal Methods

Conference proceedings info: IFM 2005.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (22 papers)

  1. Front Matter

  2. Invited Papers

    1. Generating Path Conditions for Timed Systems

      • Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
      Pages 5-19
  3. Session: Components

  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. 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. 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

Other Volumes

  1. Integrated Formal Methods

Keywords

  • Attribut
  • Unified Modeling Language (UML)
  • automata
  • calculus
  • component systems
  • constraint satisfaction
  • embedded systems
  • formal method
  • formal methods
  • formal specification
  • formal validation
  • formal verification
  • model checking
  • semantics
  • verification

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions