Skip to main content
Springer Nature Link
Log in

Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Brijesh Dongol

    1. University of Surrey, Guildford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Elena Troubitsyna

    1. Royal Institute of Technology - KTH, Stockholm, Sweden

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

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

Included in the following conference series:

Conference proceedings info: IFM 2020.

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 39.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 book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.

The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

Similar content being viewed by others

Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Integrating Machine Learning and Formal Modelling

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning

      • Milad Kazemi, Sadegh Soudjani
      Pages 3-21

    3. Grey-Box Learning of Register Automata

      • Bharat Garhewal, Frits Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
      Pages 22-40

    4. Clustering-Guided SMT(\(\mathcal {L\!R\!A}\)) Learning

      • Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler
      Pages 41-59

  3. Modelling and Verification in B and Event-B

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. Fast and Effective Well-Definedness Checking

      • Michael Leuschel
      Pages 63-81

    3. An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

      • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj K. Singh
      Pages 82-102

    4. Towards Generating SPARK from Event-B Models

      • Sanjeevan Sritharan, Thai Son Hoang
      Pages 103-120

  4. Program Analysis and Testing

    1. Front Matter

      Pages 121-121
      Download chapter PDF

    2. Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs

      • Malte Mues, Till Schallau, Falk Howar
      Pages 123-140

    3. Automatic Generation of Guard-Stable Floating-Point Code

      • Laura Titolo, Mariano Moscato, Marco A. Feliu, César A. Muñoz
      Pages 141-159

    4. Formal Methods for GPGPU Programming: Is the Demand Met?

      • Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman
      Pages 160-177

  5. Verification of Interactive Behaviour

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. Active Objects with Deterministic Behaviour

      • Ludovic Henrio, Einar Broch Johnsen, Violet Ka I. Pun
      Pages 181-198

    3. History-Based Specification and Verification of Java Collections in KeY

      • Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
      Pages 199-217

    4. Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch

      • Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
      Pages 218-236
Back to top

Other volumes

  1. Integrated Formal Methods

Editors and Affiliations

  • University of Surrey, Guildford, UK

    Brijesh Dongol

  • Royal Institute of Technology - KTH, Stockholm, Sweden

    Elena Troubitsyna

Bibliographic Information

Publish with us

Policies and ethics

Back to top