Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges.

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

Browse the full FMICS paper archive.