Skip to main content
SpringerLink
Log in

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Maurice H. ter Beek

    1. ISTI-CNR, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rosemary Monahan

    1. Maynooth University, Maynooth, Ireland

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

Included in the following conference series:

Conference proceedings info: IFM 2022.

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

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Invited Presentations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Verifying Autonomous Systems

      • Louise A. Dennis
      Pages 3-17

    3. Empowering the Event-B Method Using External Theories

      • Yamine Aït-Ameur, Guillaume Dupont, Ismail Mendil, Dominique Méry, Marc Pantel, Peter Rivière et al.
      Pages 18-35

  3. Cooperative and Relational Verification

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal

      • Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
      Pages 39-44

    3. Formal Specification and Verification of JDK’s Identity Hash Map Implementation

      • Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
      Pages 45-62

    4. Reusing Predicate Precision in Value Analysis

      • Marie-Christine Jakobs
      Pages 63-85

    5. Certified Verification of Relational Properties

      • Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
      Pages 86-105

  4. B Method

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    2. Reachability Analysis and Simulation for Hybridised Event-B Models

      • Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
      Pages 109-128

    3. Operation Caching and State Compression for Model Checking of High-Level Models

      • Michael Leuschel
      Pages 129-145

  5. Time

    1. Front Matter

      Pages 147-147
      Download chapter PDF

    2. Conservative Time Discretization: A Comparative Study

      • Marcelo Forets, Christian Schilling
      Pages 149-167

    3. Untangling the Graphs of Timed Automata to Decrease the Number of Clocks

      • Neda Saeedloei, Feliks Kluźniak
      Pages 168-187

  6. Probability

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Probabilistic Model Checking of BPMN Processes at Runtime

      • Yliès Falcone, Gwen Salaün, Ahang Zuo
      Pages 191-208

    3. HyperPCTL Model Checking by Probabilistic Decomposition

      • Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour
      Pages 209-226

  7. Learning and Synthesis

    1. Front Matter

      Pages 227-227
      Download chapter PDF

    2. Learning Finite State Models from Recurrent Neural Networks

      • Edi Muškardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
      Pages 229-248
Back to top

Other volumes

  1. Integrated Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.

The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings:  Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

Editors and Affiliations

  • ISTI-CNR, Pisa, Italy

    Maurice H. ter Beek

  • Maynooth University, Maynooth, Ireland

    Rosemary Monahan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation