SafeFloatZone: Identify Safe Domains for Elementary Functions. - Markus Krahl; Matthias Güdemann; Stefan Wallentowitz (SAMOS, 2024)