Laura Titolo, Mariano M. Moscato, Marco A. Feliú, Aaron Dutle, César A. Muñoz. Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software. In Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara 0001, Martina Olliaro, editors, Challenges of Software Verification. Volume 238 of Intelligent Systems Reference Library, pages 197-220, Springer, 2023. [doi]
Abstract is missing.