Formally Verified Interval Arithmetic and Its Application to Program Verification. - Achim D. Brucker; Teddy Cameron-Burke; Amy Stell (FormaliSE@ICSE, 2024)