Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers

DOI10.1007/978-3-319-54292-8MaRDI QIDQ509762zbMATH OpenOpenAlexFDO

Authors

Publication date 20 February 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-54292-8

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)

Recommendations

• Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22--23, 2017. Proceedings
• Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17--18, 2014 and April 13, 2015
• Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.
• Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part II
• Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part I
• Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers
• Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016
• Numerical Software with Result Verification

Cited in

(1)

• Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.

This page was built for publication: Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q509762)