Requirements Verification Methods