4. VerificationΒΆ

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