Editors:
- 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)
Conference series link(s): NSV: International Workshop on Numerical Software Verification
Conference proceedings info: NSV 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 papers)
-
Front Matter
-
Back Matter
About this book
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
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