The paper Verifying a Radio Telescope Pipeline using HaliVer: Solving Nonlinear and Quantifier Challenges written by Lars B. van den Haak, Anton Wijs, Marieke Huisman and Mark van den Brand has been accepted at FMICS 2024.