Skip to main content
SpringerLink
Log in

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Radu Calinescu

    1. University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Corina S. Păsăreanu

    1. Carnegie Mellon University, Moffett Field, USA

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

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

Included in the following conference series:

Conference proceedings info: SEFM 2021.

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

  1. Parallel Composition/CSP and Probabilistic Reasoning

    1. A Debugger for Probabilistic Programs

      • Alexander Hoppen, Thomas Noll
      Pages 282-289

  2. Verification and Synthesis

    1. Front Matter

      Pages 291-291
      Download chapter PDF

    2. Verification of Programs with Exceptions Through Operator Precedence Automata

      • Francesco Pontiggia, Michele Chiari, Matteo Pradella
      Pages 293-311

    3. Counterexample Classification

      • Cole Vick, Eunsuk Kang, Stavros Tripakis
      Pages 312-331

    4. Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines

      • Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
      Pages 332-350

    5. Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis

      • Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
      Pages 351-371

    6. TACoS: A Tool for MTL Controller Synthesis

      • Till Hofmann, Stefan Schupp
      Pages 372-379

  3. Emerging Domains

    1. Front Matter

      Pages 381-381
      Download chapter PDF

    2. Lightweight Nontermination Inference with CHCs

      • Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 383-402

    3. A Denotational Semantics of Solidity in Isabelle/HOL

      • Diego Marmsoler, Achim D. Brucker
      Pages 403-422

    4. Configuration Space Exploration for Digital Printing Systems

      • Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser
      Pages 423-442Open Access

    5. Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic

      • Stella Simić, Omar Inverso, Mirco Tribastone
      Pages 443-460

  4. Machine Learning and Cyber-Physical Systems

    1. Front Matter

      Pages 461-461
      Download chapter PDF

    2. OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks

      • Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio
      Pages 463-480

    3. Active Model Learning of Stochastic Reactive Systems

      • Martin Tappler, Edi Muškardin, Bernhard K. Aichernig, Ingo Pill
      Pages 481-500

    4. Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction

      • Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle
      Pages 501-520

  5. Back Matter

    Pages 521-522
    Download chapter PDF
Back to top

Other volumes

  1. Software Engineering and Formal Methods

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

Keywords

About this book

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.

The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution.


Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Editors and Affiliations

  • University of York, York, UK

    Radu Calinescu

  • Carnegie Mellon University, Moffett Field, USA

    Corina S. Păsăreanu

Bibliographic Information

  • Book Title: Software Engineering and Formal Methods

  • Book Subtitle: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

  • Editors: Radu Calinescu, Corina S. Păsăreanu

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-92124-8

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-92123-1Published: 03 December 2021

  • eBook ISBN: 978-3-030-92124-8Published: 02 December 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XV, 522

  • Number of Illustrations: 78 b/w illustrations, 68 illustrations in colour

  • Topics: Software Engineering, Artificial Intelligence, Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation