Requirement verification