4. VerificationΒΆ

This chapter collects carefully designed verification exercises that we use to test the correctness of the implementation of the EE-UQ app.