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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bogomolov, Sergiy (Editor), Martel, Matthieu (Editor), Prabhakar, Pavithra (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10152
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Computer Communication Networks.; Mathematical Logic and Formal Languages.; Information Systems Applications (incl. Internet).; Artificial Intelligence (incl. Robotics).

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 dev...

Table of Contents:

• Verification and validation of global properties,
• Implementation of numerical techniques on modern hardware
• Development and analysis of cyber-physical systems (CPS).