Skip to main content
SpringerLink
Log in

Software Engineering and Formal Methods

18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Frank de Boer

    1. Informatica, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Antonio Cerone

    1. Department of Computer Science, Nazarbayev University, Astana, Kazakhstan

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SEFM 2020.

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

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages I-xiv
    Download chapter PDF

  2. Multi-purpose Syntax Definition with SDF3

    • Luís Eduardo de Souza Amorim, Eelco Visser
    Pages 1-23Open Access

  3. Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector

    • Daniel Schnetzer Fava
    Pages 24-40

  4. Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

    • Fatima Shokri-Manninen, Jüri Vain, Marina Waldén
    Pages 41-59

  5. End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK

    • Laura R. Humphrey, James Hamil, Joffrey Huguet
    Pages 60-76

  6. Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification

    • Jonathan Julián Huerta y Munive
    Pages 77-92

  7. Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study

    • Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier Bellekens, Christos Tachtatzis, Robert Atkinson et al.
    Pages 93-112

  8. FRed: Conditional Model Checking via Reducers and Folders

    • Dirk Beyer, Marie-Christine Jakobs
    Pages 113-132Open Access

  9. Difference Verification with Conditions

    • Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger
    Pages 133-154Open Access

  10. A Formal Modeling Approach for Portable Low-Level OS Functionality

    • Renata Martins Gomes, Bernhard Aichernig, Marcel Baunach
    Pages 155-174

  11. Model-Based Testing Under Parametric Variability of Uncertain Beliefs

    • Matteo Camilli, Barbara Russo
    Pages 175-192

  12. Hoare-Style Logic for Unstructured Programs

    • Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam
    Pages 193-213

  13. Synthesis of P-Stable Abstractions

    • Anna Becchi, Alessandro Cimatti, Enea Zaffanella
    Pages 214-230

  14. Runtime Verification of Contracts with Themulus

    • Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
    Pages 231-246

  15. Sound C Code Decompilation for a Subset of x86-64 Binaries

    • Freek Verbeek, Pierre Olivier, Binoy Ravindran
    Pages 247-264

  16. Statically Checking REST API Consumers

    • Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
    Pages 265-283

  17. A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis

    • Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
    Pages 284-302

  18. Formal Verification of Human-Robot Interaction in Healthcare Scenarios

    • Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
    Pages 303-324

  19. Back Matter

    Pages 325-325
    Download chapter PDF
Back to top

Other volumes

  1. Software Engineering and Formal Methods

  2. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.

The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.

The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Editors and Affiliations

  • Informatica, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands

    Frank de Boer

  • Department of Computer Science, Nazarbayev University, Astana, Kazakhstan

    Antonio Cerone

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation