L04 (09.24.) Verification of the detailed design