Overview
- Includes supplementary material: sn.pub/extras
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.
Buy print copy
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.
Similar content being viewed by others
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
Table of contents (9 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Numerical Software Verification
Editors and Affiliations
Bibliographic Information
Book Title: Numerical Software Verification
Book Subtitle: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Editors: Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-54292-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-54291-1Published: 17 February 2017
eBook ISBN: 978-3-319-54292-8Published: 14 February 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 107
Number of Illustrations: 21 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Computer Communication Networks, Mathematical Logic and Formal Languages, Information Systems Applications (incl. Internet), Artificial Intelligence