Numerical Software Verification

12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

  • Majid Zamani
  • Damien Zufferey
Conference proceedings NSV 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11652)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11652)

Table of contents

  1. Front Matter
    Pages i-xv
  2. Tutorials

    1. Front Matter
      Pages 1-1
    2. Fabio Somenzi, Ashutosh Trivedi
      Pages 26-41
  3. Contributed Papers

    1. Front Matter
      Pages 43-43
    2. Rémi Delmas, Thomas Loquen, Josep Boada-Bauxell, Mathieu Carton
      Pages 45-59
    3. Luca Geretti, Sanja Živanović Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
      Pages 60-75
    4. Shaobo He, Marek Baranowski, Zvonimir Rakamarić
      Pages 76-84
    5. Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey
      Pages 85-100
    6. Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
      Pages 101-109
    7. Sadra Sadraddini, Shen Shen, Osbert Bastani
      Pages 110-127
  4. Back Matter
    Pages 145-145

About these proceedings


This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.

The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers 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.


artificial intelligence decision theory learning algorithms model checking numerical simulation semantics software engineering software evaluation specifications verification

Editors and affiliations

  • Majid Zamani
    • 1
  • Damien Zufferey
    • 2
  1. 1.University of Colorado BoulderBoulderUSA
  2. 2.Max Planck Institute for Software SystemsKaiserslauternGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-28422-0
  • Online ISBN 978-3-030-28423-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software