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

Integrated Formal Methods

7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Editors:

  1. Michael Leuschel

    1. Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, Düsseldorf, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Heike Wehrheim

    1. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Paderborn, Germany

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

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

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, access via your institution.

Table of contents (24 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. Developing Topology Discovery in Event-B

      • Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial
      Pages 1-19

    2. Decomposition Structures for Event-B

      • Michael Butler
      Pages 20-38

  3. Contributed Papers

    1. Verifying UML/OCL Operation Contracts

      • Jordi Cabot, Robert Clarisó, Daniel Riera
      Pages 40-55

    2. Property Specifications for Workflow Modelling

      • Peter Y. H. Wong, Jeremy Gibbons
      Pages 56-71

    3. Formal Verification Based on Guided Random Walks

      • Thang H. Bui, Albert Nymeyer
      Pages 72-87

    4. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format

      • Jan Stöcker, Frédéric Lang, Hubert Garavel
      Pages 88-102

    6. CSP with Hierarchical State

      • Robert Colvin, Ian J. Hayes
      Pages 118-135

    8. Mechanised Translation of Control Law Diagrams into Circus

      • Frank Zeyda, Ana Cavalcanti
      Pages 151-166

    9. Realizability of Choreographies Using Process Algebra Encodings

      • Gwen Salaün, Tevfik Bultan
      Pages 167-182

    10. Modelling Divergence in Relational Concurrent Refinement

      • Eerke Boiten, John Derrick
      Pages 183-199

    11. SAL-Based Symbolic Scheduling in Time-Triggered Networks

      • Sebastian Voss, Maria Sorea, Klaus Echtle
      Pages 200-214

    12. Incremental Reasoning for Multiple Inheritance

      • Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
      Pages 215-230

    13. Model Checking LTL Formulae in RAISE with FDR

      • Abigail Parisaca Vargas, Ana G. Garis, S. Lizeth Tapia Tarifa, Chris George
      Pages 231-245

    14. An Introduction to Grammar Convergence

      • Ralf Lämmel, Vadim Zaytsev
      Pages 246-260

    15. Application of Graph Transformation in Verification of Dynamic Systems

      • Zarrin Langari, Richard Trefler
      Pages 261-276

    16. Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays

      • Osman Hasan, Naeem Abbasi, Sofiène Tahar
      Pages 277-291
Back to top

Other Volumes

  1. Integrated Formal Methods

Back to top

About this book

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.
Back to top

Keywords

  • Event-B
  • Model Checking
  • Petri
  • automata
  • case studies
  • component systems
  • constraint satisfaction
  • data refinement
  • divergence
  • formal semantics
  • formal verification
  • logic
  • petri net
  • semantics
  • verification
Back to top

Editors and Affiliations

  • Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, Düsseldorf, Germany

    Michael Leuschel

  • Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Paderborn, Germany

    Heike Wehrheim

Back to top

Bibliographic Information

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