IronSpec: Increasing the Reliability of Formal Specifications. - Eli Goldweber; Weixin Yu; Seyed Armin Vakil-Ghahani; Manos Kapritsos (OSDI, 2024)