Skip to main content
  • Conference proceedings
  • © 2022

Integrated Formal Methods

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

Editors:

(view affiliations)

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

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

Conference proceedings info: IFM 2022.

Buying options

eBook
USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-031-07727-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 79.99
Price excludes VAT (USA)

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

Table of contents (25 papers)

  1. Front Matter

    Pages i-xv
  2. Invited Presentations

    1. Front Matter

      Pages 1-1
    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
    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
    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
  5. Time

    1. Front Matter

      Pages 147-147
    2. Conservative Time Discretization: A Comparative Study

      • Marcelo Forets, Christian Schilling
      Pages 149-167
  6. Probability

    1. Front Matter

      Pages 189-189
    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
    2. Learning Finite State Models from Recurrent Neural Networks

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

Other Volumes

  1. Integrated Formal Methods

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

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.

Keywords

  • architecture verification and validation
  • artificial intelligence
  • computer programming
  • computer systems
  • embedded systems
  • engineering
  • formal languages
  • formal logic
  • formal methods
  • graph theory
  • model checking
  • programming languages
  • signal processing
  • software architecture
  • software design
  • software engineering
  • software quality
  • theoretical computer science
  • verification and validation

Editors and Affiliations

  • ISTI-CNR, Pisa, Italy

    Maurice H. ter Beek

  • Maynooth University, Maynooth, Ireland

    Rosemary Monahan

Bibliographic Information

Buying options

eBook
USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-031-07727-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 79.99
Price excludes VAT (USA)