Skip to main content
SpringerLink
Log in

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Einar Broch Johnsen

    1. Department of Informatics, University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luigia Petre

    1. Department of Information Technologies, Åbo Akademi University, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: IFM 2013.

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 (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Paper 1

    1. From Z to B and then Event-B: Assigning Proofs to Meaningful Programs

      • Jean-Raymond Abrial
      Pages 1-15

    2. Refinement, Integration, Translation

      1. Systems Design Guided by Progress Concerns
        • Simon Hudon, Thai Son Hoang
        Pages 16-30
      2. Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement
        • Christian Prehofer
        Pages 31-45
      3. Translating VDM to Alloy
        • Kenneth Lausdahl
        Pages 46-60
      4. Verification of EB3 Specifications Using CADP
        • Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
        Pages 61-76

  3. Invited Paper 2

    1. Knowledge for the Distributed Implementation of Constrained Systems

      • Susanne Graf, Sophie Quinton
      Pages 77-93

    2. Verification

      1. Automated Anonymity Verification of the ThreeBallot Voting System
        • Murat Moran, James Heather, Steve Schneider
        Pages 94-108
      2. Compositional Verification of Software Product Lines
        • Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
        Pages 109-123
      3. Deductive Verification of State-Space Algorithms
        • Frédéric Gava, Jean Fortin, Michael Guedj
        Pages 124-138
      4. Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus
        • Daisuke Ishii, Guillaume Melquiond, Shin Nakajima
        Pages 139-153

  4. Invited Paper 3

    1. Priced Timed Automata and Statistical Model Checking

      • Kim Guldstrand Larsen
      Pages 154-161

    2. Reachability and Model Checking

      1. Improved Reachability Analysis in DTMC via Divide and Conquer
        • Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
        Pages 162-176
      2. Solving Games Using Incremental Induction
        • Andreas Morgenstern, Manuel Gesell, Klaus Schneider
        Pages 177-191
      3. Model-Checking Software Library API Usage Rules
        • Fu Song, Tayssir Touili
        Pages 192-207
      4. Formal Modelling and Verification of Population Protocols
        • Dominique Méry, Michael Poppleton
        Pages 208-222

    3. Usability and Testing

      1. Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing
        • Aymerick Savary, Marc Frappier, Jean-Louis Lanet
        Pages 223-237
      2. Integrating Formal Predictions of Interactive System Behaviour with User Evaluation
        • Rimvydas Rukšėnas, Paul Curzon, Michael D. Harrison
        Pages 238-252
      3. Automatic Inference of Erlang Module Behaviour
        • Ramsay Taylor, Kirill Bogdanov, John Derrick
        Pages 253-267

    4. Distributed Systems

      1. Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
        • Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
        Pages 268-284
Back to top

Other volumes

  1. Integrated Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013.
The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Editors and Affiliations

  • Department of Informatics, University of Oslo, Oslo, Norway

    Einar Broch Johnsen

  • Department of Information Technologies, Åbo Akademi University, Turku, Finland

    Luigia Petre

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation