Advertisement

© 2019

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

  • Wolfgang Ahrendt
  • Silvia Lizeth Tapia Tarifa
Conference proceedings IFM 2019

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11918)

Table of contents

  1. Front Matter
    Pages i-xvii
    PDF

  2. Invited Talk

    1. Front Matter
      Pages 1-1
      PDF
    2. The Digital Thread in Industry 4.0
      Tiziana Margaria, Alexander Schieweck
      Pages 3-24

  3. Regular Papers

    1. Front Matter
      Pages 25-25
      PDF
    2. Accelerating Parameter Synthesis Using Semi-algebraic Constraints
      Nikola Beneš, Luboš Brim, Martin Geletka, Samuel Pastva, David Šafránek
      Pages 27-45
    3. Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
      Tuur Benoit, Bart Jacobs
      Pages 46-64
    4. Using Ontologies in Formal Developments Targeting Certification
      Achim D. Brucker, Burkhart Wolff
      Pages 65-82
    5. A Program Logic for Dependence Analysis
      Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar
      Pages 83-100
    6. Evaluation of Program Slicing in Software Verification
      Marek Chalupa, Jan Strejček
      Pages 101-119
    7. Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning
      Helene Coullon, Claude Jard, Didier Lime
      Pages 120-137
    8. Learning to Reuse: Adaptive Model Learning for Evolving Systems
      Carlos Diego N. Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simao
      Pages 138-156
    9. Axiomatic Characterization of Trace Reachability for Concurrent Objects
      Frank S. de Boer, Hans-Dieter A. Hiep
      Pages 157-174
    10. Dynamic Reconfigurations in Frequency Constrained Data Flow
      Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre
      Pages 175-193
    11. Ontology-Mediated Probabilistic Model Checking
      Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
      Pages 194-211
    12. Fuzzing JavaScript Environment APIs with Interdependent Function Calls
      Renáta Hodován, Dániel Vince, Ákos Kiss
      Pages 212-226
    13. Dione: A Protocol Verification System Built with Dafny for I/O Automata
      Chiao Hsieh, Sayan Mitra
      Pages 227-245
    14. Relating Alternating Relations for Conformance and Refinement
      Ramon Janssen, Frits Vaandrager, Jan Tretmans
      Pages 246-264
    15. Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
      Sebastian Krings, Michael Leuschel
      Pages 265-283
    16. An Integrated Approach to a Combinatorial Optimisation Problem
      J. Bowles, M. B. Caminati
      Pages 284-302
    17. Computing Bisimilarity Metrics for Probabilistic Timed Automata
      Ruggero Lanotte, Simone Tini
      Pages 303-321

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.

The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.

Keywords

artificial intelligence computer architecture data security formal logic formal methods formal specification graph theory internet model checking programming languages robotics semantics software engineering software evaluation specifications theorem proving verification web services World Wide Web

Editors and affiliations

  1. 1.Chalmers University of TechnologyGothenburgSweden
  2. 2.University of OsloOsloNorway

Bibliographic information