Skip to main content
SpringerLink
Log in

Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Alessandro Abate

    1. University of Oxford , Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sylvie Boldo

    1. Université Paris-Sud, Inria , Orsay, France

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

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

Included in the following conference series:

Conference proceedings info: NSV 2017.

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 (8 papers)

  1. Front Matter

    Pages I-XXI
    Download chapter PDF

  2. Keynote Abstracts

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Verified Computations Using Taylor Models and Their Applications

      • Kyoko Makino, Martin Berz
      Pages 3-13

    3. Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic

      • Nathalie Revol
      Pages 14-21

  3. Precise Numerics

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers

      • Arthur Blot, Jean-Michel Muller, Laurent Théry
      Pages 25-37

    3. Sound Numerical Computations in Abstract Acceleration

      • Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
      Pages 38-60

    4. Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster

      • François Févotte, Bruno Lathuilière
      Pages 61-80

  4. Analysis and Verification of Continuous and Hybrid Models

    1. Front Matter

      Pages 81-81
      Download chapter PDF

    2. Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees

      • Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar
      Pages 83-89

    3. Rigorous Reachability Analysis and Domain Decomposition of Taylor Models

      • Martin Berz, Kyoko Makino
      Pages 90-97

    4. A Study of Model-Order Reduction Techniques for Verification

      • Yi Chou, Xin Chen, Sriram Sankaranarayanan
      Pages 98-113

  5. Back Matter

    Pages 115-115
    Download chapter PDF
Back to top

Other volumes

  1. Numerical Software Verification

Keywords

About this book

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.
The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Editors and Affiliations

  • University of Oxford , Oxford, United Kingdom

    Alessandro Abate

  • Université Paris-Sud, Inria , Orsay, France

    Sylvie Boldo

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation