Integrated Formal Methods

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

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.

• 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

• Chalmers University of Technology, Gothenburg, Sweden

  Wolfgang Ahrendt

• University of Oslo, Oslo, Norway

  Silvia Lizeth Tapia Tarifa

Policies and ethics