Towards the Formal Analysis of Algorithmic Requirements. - Lorenzo Cappelletti; Roberto Cavada; Alessandro Cimatti; Marco Keppel (ISoLA (3), 2024)