Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings - Abate, Alessandro; Boldo, Sylvie; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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.
Keywords: 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