Skip to main content
Springer Nature Link
Account

Software Engineering and Formal Methods

20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Bernd-Holger Schlingloff

    1. Humboldt-Universität zu Berlin, Berlin, Germany

  2. Ming Chai

    1. Beijing Jiaotong University, Beijing, China

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

Included in the following conference series:

Conference proceedings info: SEFM 2022.

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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

About this book

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. 

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (22 papers)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Software Verification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Unifying Approach for Control-Flow-Based Loop Abstraction

      • Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
      Pages 3-19Open Access

    3. Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers

      • Junaid Rasheed, Michal Konečný
      Pages 20-36

    4. Information Exchange Between Over- and Underapproximating Software Analyses

      • Jan Haltermann, Heike Wehrheim
      Pages 37-54

  3. Program Analysis

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. A Query Language for Language Analysis

      • Matteo Cimini
      Pages 57-73

    3. Field-Sensitive Program Slicing

      • Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
      Pages 74-90

    4. SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM

      • Malte Mues, Falk Howar, Simon Dierl
      Pages 91-107

  4. Verifier Technology

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. Cooperation Between Automatic and Interactive Software Verifiers

      • Dirk Beyer, Martin Spiessl, Sven Umbricht
      Pages 111-128Open Access

    3. Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications

      • Lukas Miedema, Clemens Grelck
      Pages 129-145

    4. A Program Slicer for Java (Tool Paper)

      • Carlos Galindo, Sergio Perez, Josep Silva
      Pages 146-151

  5. Formal Methods for Intelligent and Learning Systems

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    2. Constrained Training of Recurrent Neural Networks for Automata Learning

      • Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler
      Pages 155-172

    3. Neural Network Verification Using Residual Reasoning

      • Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
      Pages 173-189

    4. Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning

      • Nathaniel Hamilton, Preston K Robinette, Taylor T Johnson
      Pages 190-206

  6. Specification and Contracts

    1. Front Matter

      Pages 207-207
      Download chapter PDF

    2. Information Flow Control-by-Construction for an Object-Oriented Language

      • Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
      Pages 209-226

    3. Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts

      • Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
      Pages 227-243
Back to top

Other volumes

  1. Software Engineering and Formal Methods

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

Editors and Affiliations

  • Humboldt-Universität zu Berlin, Berlin, Germany

    Bernd-Holger Schlingloff

  • Beijing Jiaotong University, Beijing, China

    Ming Chai

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top