Matt Kaufmann, J Strother Moore. ACL2 Support for Floating-Point Computations. In Ana Cavalcanti 0001, James Baxter 0001, editors, The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. Volume 14780 of Lecture Notes in Computer Science, pages 251-270, Springer, 2024. [doi]
Abstract is missing.