Skip to main content
SpringerLink
Log in

Software Verification

12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Maria Christakis

    1. MPI-SWS Kaiserslautern, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nadia Polikarpova

    1. University of California, San Diego, La Jolla, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Parasara Sridhar Duggirala

    1. Computer Science, University of North Carolina at Chapel Hill, Chapel Hill, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Peter Schrammel

    1. Engineering and Informatics, University of Sussex, Brighton, UK

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

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

Included in the following conference series:

Conference proceedings info: NSV 2020, VSTTE 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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (14 papers)

  1. Front Matter

    Pages i-xxvi
    Download chapter PDF

  2. VSTTE 2020

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. SARL: OO Framework Specification for Static Analysis

      • Pietro Ferrara, Luca Negrini
      Pages 3-20

    3. QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking

      • Marko Kleine Büning, Carsten Sinz, David Faragó
      Pages 21-32

    4. Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX

      • Vadim Zaliva, Ilia Zaichuk, Franz Franchetti
      Pages 33-49

    5. Automatic Detection and Repair of Transition- Based Leakage in Software Binaries

      • Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei
      Pages 50-67

    6. BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers

      • Joseph Scott, Federico Mora, Vijay Ganesh
      Pages 68-86

    7. Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison

      • Alessandro Trindade, Lucas C. Cordeiro
      Pages 87-105

    8. Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language

      • Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
      Pages 106-123

    9. MCBAT: Model Counting for Constraints over Bounded Integer Arrays

      • Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang
      Pages 124-143

    10. Verification of an Optimized NTT Algorithm

      • Jorge A. Navas, Bruno Dutertre, Ian A. Mason
      Pages 144-160

  3. NSV 2020

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results?

      • Fabienne Jézéquel, Stef Graillat, Daichi Mukunoki, Toshiyuki Imamura, Roman Iakymchuk
      Pages 163-177

    3. An Efficient Floating-Point Bit-Blasting API for Verifying C Programs

      • Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
      Pages 178-195

    4. Rigorous Enclosure of Round-Off Errors in Floating-Point Computations

      • Rémy Garcia, Claude Michel, Michel Rueher
      Pages 196-212

    5. Towards Numerical Assistants

      • Pavel Panchekha, Zachary Tatlock
      Pages 213-220

    6. Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants

      • Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot
      Pages 221-238

  4. Back Matter

    Pages 239-239
    Download chapter PDF
Back to top

Other volumes

  1. Software Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.
The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

Editors and Affiliations

  • MPI-SWS Kaiserslautern, Kaiserslautern, Germany

    Maria Christakis

  • University of California, San Diego, La Jolla, USA

    Nadia Polikarpova

  • Computer Science, University of North Carolina at Chapel Hill, Chapel Hill, USA

    Parasara Sridhar Duggirala

  • Engineering and Informatics, University of Sussex, Brighton, UK

    Peter Schrammel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation