Skip to main content
Springer Nature Link
Log in

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

  • Conference proceedings
  • © 2025

Overview

Editors:
  1. Nikolai Kosmatov

    1. Thales Research and Technology, Palaiseau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Laura Kovács

    1. TU Wien, Vienna, Austria

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

Included in the following conference series:

Conference proceedings info: IFM 2024.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 119.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

Similar content being viewed by others

Keywords

Table of contents (19 papers)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Software Verification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Formal Tainting-Based Framework for Malware Analysis

      • Andrei Mogage, Dorel Lucanu
      Pages 3-23

    3. A Systematic Literature Review on a Decade of Industrial TLA+ Practice

      • Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer
      Pages 24-34

    4. Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study

      • Ştefan Ciobâcă, Diana-Elena Gratie
      Pages 35-52

    5. VeriCode: Correct Translation of Abstract Specifications to C Code

      • Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
      Pages 53-74

    6. Proving Termination via Measure Transfer in Equivalence Checking

      • Dragana Milovančević, Carsten Fuhs, Mario Bucev, Viktor Kunčak
      Pages 75-84

  3. Verification and Refinement

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases

      • Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
      Pages 87-108

    3. Stateful Functional Modeling with Refinement (a Lean4 Framework)

      • Frédéric Peschanski
      Pages 109-127

    4. Modeling Register Pairs in CompCert

      • Alexander Loitzl, Florian Zuleger
      Pages 128-147

  4. Quantitative Analysis

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Monitoring Extended Hypernode Logic

      • Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
      Pages 151-171

    3. Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata

      • Pauline Blohm, Paula Herber, Anne Remke
      Pages 172-193

    4. Monitoring Real-Time Systems Under Parametric Delay

      • Martin Fränzle, Thomas M. Grosen, Kim G. Larsen, Martin Zimmermann
      Pages 194-213

  5. System Analysis and Security

    1. Front Matter

      Pages 215-215
      Download chapter PDF

    2. VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory

      • Robert Rubbens, Petra van den Bos, Marieke Huisman
      Pages 217-236

    3. Correct and Complete Symbolic Execution for Free

      • Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
      Pages 237-255

    4. Solvent: Liquidity Verification of Smart Contracts

      • Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
      Pages 256-266

    5. StEVe: A Rational Verification Tool for Stackelberg Security Games

      • Surasak Phetmanee, Michele Sevegnani, Oana Andrei
      Pages 267-275
Back to top

Other volumes

  1. Integrated Formal Methods

Editors and Affiliations

  • Thales Research and Technology, Palaiseau, France

    Nikolai Kosmatov

  • TU Wien, Vienna, Austria

    Laura Kovács

Bibliographic Information

  • Book Title: Integrated Formal Methods

  • Book Subtitle: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

  • Editors: Nikolai Kosmatov, Laura Kovács

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-76554-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2025

  • Softcover ISBN: 978-3-031-76553-7Published: 13 November 2024

  • eBook ISBN: 978-3-031-76554-4Published: 12 November 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXII, 328

  • Number of Illustrations: 28 b/w illustrations, 86 illustrations in colour

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top