Skip to main content
SpringerLink
Log in

Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Roderick Bloem

    1. Graz University of Technology, Graz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rayna Dimitrova

    1. CISPA, Helmholtz Center for Information Security, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Chuchu Fan

    1. Massachusetts Institute of Technology, Cambridge, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Natasha Sharygina

    1. Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: NSV 2021, VSTTE 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 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 (11 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. VSTTE 2021

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Quantitative Monitoring of Software

      • Thomas A. Henzinger
      Pages 3-6

    3. Making Proofs of Floating-Point Programs Accessible to Regular Developers

      • Claire Dross, Johannes Kanig
      Pages 7-24

    4. A Calculus for Multi-language Operational Semantics

      • Matteo Cimini
      Pages 25-42

    5. Partial Order Reduction for Timed Actors

      • Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
      Pages 43-60

    6. Uncertainty-Aware Signal Temporal Logic Inference

      • Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
      Pages 61-85

    7. Designing and Proving Properties of the Abaco Autoscaler Using TLA+

      • Smruti Padhy, Joe Stubbs
      Pages 86-103

    8. Case Study: Analysis of Autonomous Center Line Tracking Neural Networks

      • Ismet Burak Kadron, Divya Gopinath, Corina S. Păsăreanu, Huafeng Yu
      Pages 104-121

    9. Abstract Interpretation of LLVM with a Region-Based Memory Model

      • Arie Gurfinkel, Jorge A. Navas
      Pages 122-144

  3. NSV 2021

    1. Front Matter

      Pages 145-145
      Download chapter PDF

    2. Formal Verification of Neural Network Controllers for Collision-Free Flight

      • Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler Young, Galen Mullins, Yanni Kouskoulas et al.
      Pages 147-164

    3. An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods

      • Farah Benmouhoub, Pierre-Loic Garoche, Matthieu Martel
      Pages 165-181

    4. Modeling Round-Off Errors in Hydrodynamic Simulations

      • William Weens, Thibaud Vazquez-Gonzalez, Louise Ben Salem-Knapp
      Pages 182-196

  4. Back Matter

    Pages 197-197
    Download chapter PDF
Back to top

Other volumes

  1. Software Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.

There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions.

The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more. 

Editors and Affiliations

  • Graz University of Technology, Graz, Austria

    Roderick Bloem

  • CISPA, Helmholtz Center for Information Security, Saarbrücken, Germany

    Rayna Dimitrova

  • Massachusetts Institute of Technology, Cambridge, USA

    Chuchu Fan

  • Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland

    Natasha Sharygina

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation