Verifing access to external memory