Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2005

Integrated Formal Methods

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

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)

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

Conference proceedings info: IFM 2005.

Sections

Buy it now

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

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

Table of contents (22 papers)

  1. Front Matter

    PDF

  2. Invited Papers

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

    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

    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

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation