Verification
Requirements imposed on enabling systems