Skip to main content
SpringerLink
Log in
Book cover

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Sergiy Bogomolov

    1. IST Austria, Klosterneuburg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Matthieu Martel

    1. Université de Perpignan, Perpignan, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Pavithra Prabhakar

    1. Kansas State University, Manhattan, 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 10152)

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

Included in the following conference series:

Conference proceedings info: NSV 2016.

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

  1. Front Matter

    Pages I-VII
    Download chapter PDF

  2. Verification of Networks of Smart Energy Systems over the Cloud

    • Alessandro Abate
    Pages 1-14

  3. Proving Properties on PWA Systems Using Copositive and Semidefinite Programming

    • Assalé Adjé
    Pages 15-30

  4. Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

    • Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
    Pages 31-46

  5. Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest

    • Sylvie Boldo
    Pages 47-51

  6. Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

    • Alexandre Chapoutot, Julien Alexandre dit Sandretto
    Pages 52-62

  7. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis

    • Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock
    Pages 63-77

  8. Falsification of Dynamical Systems – An Industrial Perspective

    • Thomas Heinz
    Pages 78-84

  9. Model Based Automatic Code Generation for Nonlinear Model Predictive Control

    • Behzad Samadi
    Pages 85-95

  10. Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method

    • Yassamine Seladji
    Pages 96-104

  11. Back Matter

    Pages 105-107
    Download chapter PDF
Back to top

Other volumes

  1. Numerical Software Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.

The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Editors and Affiliations

  • IST Austria, Klosterneuburg, Austria

    Sergiy Bogomolov

  • Université de Perpignan, Perpignan, France

    Matthieu Martel

  • Kansas State University, Manhattan, USA

    Pavithra Prabhakar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation