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

ISBN-13: 9783319635002 / Angielski / Miękka / 2017 / 115 str.

Alessandro Abate; Sylvie Boldo

Spis treści

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.