Skip to main content
  • Conference proceedings
  • © 2017

Numerical Software Verification

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

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)

Conference series link(s): NSV: International Workshop on Numerical Software Verification

Conference proceedings info: NSV 2016.

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-54292-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 59.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (9 papers)

  1. Front Matter

    Pages I-VII
  2. Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

    • Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
    Pages 31-46
  3. Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

    • Alexandre Chapoutot, Julien Alexandre dit Sandretto
    Pages 52-62
  4. 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
  5. Back Matter

    Pages 105-107

Other Volumes

  1. Numerical Software Verification

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

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.

Keywords

  • cyber-physical systems
  • internet of things
  • numerical simulation
  • statistical verification
  • stochastic processes
  • dependable systems
  • differential equations
  • embedded systems
  • fault-tolerant systems and networks
  • formal abstractions
  • games
  • hybrid automaton
  • model based
  • numerical analysis
  • probabilistic verification
  • software verification
  • systems of systems
  • verification

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

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-54292-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 59.99
Price excludes VAT (USA)