Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric. Synthesis of Rigorous Floating-Point Predicates. In Owolabi Legunsen, Grigore Rosu, editors, Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Volume 13255 of Lecture Notes in Computer Science, pages 44-60, Springer, 2022. [doi]
Abstract is missing.