Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Abate, Alessandro. (Editor), Boldo, Sylvie. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Theoretical Computer Science and General Issues ; 10381
Subjects:	Computer logic. Software engineering. Algorithms. Mathematical logic. Computer simulation. Logics and Meanings of Programs. Software Engineering. Algorithm Analysis and Problem Complexity. Mathematical Logic and Formal Languages. Simulation and Modeling.

Table of Contents:

Verified Computations using Taylor Models and Their Applications
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic
Formal Correctness of Comparison Algorithms between binary64 and decimal64 Floating-Point Numbers
Sound Numerical Computations in Abstract Acceleration
Studying the numerical quality of an industrial computing code: a case study on Code_Aster
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models
A Study of Model-Order Reduction Techniques for Verification.

Similar Items